Symbol: CPUCLOCK2PID
sys/kern/kern_time.c
247
if ((p = pfind(CPUCLOCK2PID(clock_id))) == NULL)
sys/kern/kern_time.c
352
pid_t pid = CPUCLOCK2PID(clock_id);