Symbol: cpu_idle_restore
sys/platform/pc64/include/md_var.h
95
void cpu_idle_restore (void); /* cannot be called from C */
sys/platform/pc64/x86_64/machdep.c
2956
*(void **)gd->mi.gd_idlethread.td_sp = cpu_idle_restore;
sys/platform/vkernel64/include/md_var.h
107
void cpu_idle_restore(void); /* cannot be called from C */
sys/platform/vkernel64/platform/globaldata.c
78
*(void **)gd->mi.gd_idlethread.td_sp = cpu_idle_restore;