Symbol: cpu_broadcast_halt
sys/arch/amd64/amd64/machdep.c
799
cpu_broadcast_halt();
sys/arch/i386/i386/machdep.c
873
cpu_broadcast_halt();
sys/arch/x86/include/cpu.h
416
void cpu_broadcast_halt(void);