Symbol: SMP_MSG_CPU_HALT
src/system/kernel/debug/debug.cpp
981
smp_multicast_ici_interrupts_disabled(cpu, cpuMask, SMP_MSG_CPU_HALT, 0, 0,
src/system/kernel/smp.cpp
875
case SMP_MSG_CPU_HALT: