/* kern/kern_clock.c */