Symbol: cpu_kthread_restore
sys/platform/pc64/include/md_var.h
117
void cpu_kthread_restore (void);/* cannot be called from C */
sys/platform/pc64/x86_64/vm_machdep.c
299
*(void **)td->td_sp = cpu_kthread_restore;
sys/platform/vkernel64/include/md_var.h
108
void cpu_kthread_restore(void); /* cannot be called from C */
sys/platform/vkernel64/x86_64/vm_machdep.c
251
*(void **)td->td_sp = cpu_kthread_restore;