Symbol: cpu_heavy_restore
sys/platform/pc64/include/md_var.h
116
void cpu_heavy_restore (void);
sys/platform/pc64/x86_64/vm_machdep.c
205
*(void **)lp2->lwp_thread->td_sp = (void *)cpu_heavy_restore;
sys/platform/vkernel64/include/md_var.h
105
void cpu_heavy_restore(void); /* cannot be called from C */
sys/platform/vkernel64/x86_64/vm_machdep.c
159
*(void **)lp2->lwp_thread->td_sp = (void *)cpu_heavy_restore;