Symbol: cpu_heavy_switch
sys/kern/kern_fork.c
824
td2->td_switch = cpu_heavy_switch;
sys/sys/proc.h
563
thread_t cpu_heavy_switch (struct thread *);