Symbol: cpu_heavy_restore
sys/platform/pc64/x86_64/swtch.s
363
ENTRY(cpu_heavy_restore)
sys/platform/vkernel64/x86_64/swtch.s
306
ENTRY(cpu_heavy_restore)