hp_sdc_put        302 drivers/input/serio/hp_sdc.c unsigned long hp_sdc_put(void);
hp_sdc_put        345 drivers/input/serio/hp_sdc.c 	hp_sdc_put();