Symbol: e500_ipi_halt
sys/arch/powerpc/booke/e500_intr.c
1350
[ilog2(IPI_HALT)] = e500_ipi_halt,
sys/arch/powerpc/include/booke/e500var.h
87
void e500_ipi_halt(void);