hp_sdc_exit      1055 drivers/input/serio/hp_sdc.c 		hp_sdc_exit();
hp_sdc_exit      1102 drivers/input/serio/hp_sdc.c module_exit(hp_sdc_exit);