schedclock        566 kern/kern_clock.c 				schedclock(p);
schedclock        125 sys/sched.h    void schedclock(struct proc *);