CLKF_PC           501 kern/kern_clock.c 			addupc_intr(p, CLKF_PC(frame));
CLKF_PC           520 kern/kern_clock.c 			i = CLKF_PC(frame) - g->lowpc;