hpet_timers       925 drivers/char/hpet.c 		timer = &hpet->hpet_timers[devp - hpetp->hp_dev];
hpet_timers        33 include/linux/hpet.h 	} hpet_timers[1];