Symbol: e500_intr_cpu_send_ipi
sys/arch/powerpc/booke/e500_intr.c
417
static void e500_intr_cpu_send_ipi(cpuid_t, uintptr_t);
sys/arch/powerpc/booke/e500_intr.c
438
.intrsw_cpu_send_ipi = e500_intr_cpu_send_ipi,