Symbol: cpu_lwkt_restore
sys/platform/pc64/x86_64/swtch.s
859
ENTRY(cpu_lwkt_restore)
sys/platform/vkernel64/x86_64/swtch.s
730
ENTRY(cpu_lwkt_restore)