kern_ktimer_gettime
error = kern_ktimer_gettime(td, uap->timerid, &val);
error = kern_ktimer_gettime(td, uap->timerid, &val);
error = kern_ktimer_gettime(td, uap->timerid, &val);
error = kern_ktimer_gettime(td, uap->timerid, &val);
int kern_ktimer_gettime(struct thread *td, int timer_id,