Symbol: CLKF_PC
sys/kern/kern_clock.c
1075
(void *)CLKF_PC(frame);
sys/kern/kern_clock.c
957
addupc_intr(p, CLKF_PC(frame), 1);