kern_ktimer_getoverrun
return (kern_ktimer_getoverrun(td, uap->timerid));
int kern_ktimer_getoverrun(struct thread *td, int timer_id);