hp_sdc_rtc_freq   550 drivers/input/misc/hp_sdc_rtc.c                 return put_user(hp_sdc_rtc_freq, (unsigned long *)arg);
hp_sdc_rtc_freq   562 drivers/input/misc/hp_sdc_rtc.c 		hp_sdc_rtc_freq = arg;