Symbol: pcu_switchpoint
sys/kern/kern_synch.c
848
pcu_switchpoint(l);
sys/sys/pcu.h
79
void pcu_switchpoint(lwp_t *);