original_kernel/drivers/platform/x86/hp
..
hp-bioscfg
Kconfig
Makefile
hp-wmi.c
hp_accel.c
tc1100-wmi.c