144 		unsigned long t, mc, base, k;  in hpet_interrupt()  local
148 		t = devp->hd_ireqfreq;  in hpet_interrupt()
166 		base = mc % t;  in hpet_interrupt()
167 		k = (mc - base + hpetp->hp_delta) / t;  in hpet_interrupt()
168 		write_counter(t * (k + 1) + base,  in hpet_interrupt()
456 	unsigned long g, v, t, m;  in hpet_ioctl_ieon()  local
516 	t = devp->hd_ireqfreq;  in hpet_ioctl_ieon()
538 		write_counter(t + m + hpetp->hp_delta, &timer->hpet_compare);  in hpet_ioctl_ieon()
543 		write_counter(t, &timer->hpet_compare);  in hpet_ioctl_ieon()
547 		write_counter(t + m + hpetp->hp_delta, &timer->hpet_compare);  in hpet_ioctl_ieon()
770 	unsigned long t, m, count, i, flags, start;  in __hpet_calibrate()  local
785 	t = read_counter(&timer->hpet_compare);  in __hpet_calibrate()
796 		write_counter(t + m + hpetp->hp_delta, &timer->hpet_compare);  in __hpet_calibrate()