Symbol: hpet_time_div
drivers/char/hpet.c
595
hpet_time_div(hpetp, devp->hd_ireqfreq);
drivers/char/hpet.c
636
devp->hd_ireqfreq = hpet_time_div(hpetp, arg);
drivers/char/hpet.c
767
count = hpet_time_div(hpetp, TICK_CALIBRATE);