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);