Symbol: cpu_broadcast_halt
sys/arch/x86/x86/cpu.c
1586
cpu_broadcast_halt(void)
sys/arch/xen/x86/cpu.c
1267
cpu_broadcast_halt(void)