hpet_time_div     617 drivers/char/hpet.c 					hpet_time_div(hpetp, devp->hd_ireqfreq);
hpet_time_div     658 drivers/char/hpet.c 		devp->hd_ireqfreq = hpet_time_div(hpetp, arg);
hpet_time_div     799 drivers/char/hpet.c 	count = hpet_time_div(hpetp, TICK_CALIBRATE);