PROC_PC           527 kern/kern_clock.c #if defined(PROC_PC)
PROC_PC           529 kern/kern_clock.c 			addupc_intr(p, PROC_PC(p));