Symbol: cpu_halt
sys/platform/pc64/x86_64/machdep.c
1077
cpu_halt(void)
sys/platform/vkernel64/platform/init.c
1483
cpu_halt(void)