Symbol: cpu_kthread_restore
sys/platform/pc64/x86_64/swtch.s
762
ENTRY(cpu_kthread_restore)
sys/platform/vkernel64/x86_64/swtch.s
641
ENTRY(cpu_kthread_restore)