Symbol: hh_send_ipi
sys/arch/macppc/macppc/ipi_hammerhead.c
47
static void hh_send_ipi(cpuid_t, uint32_t);
sys/arch/macppc/macppc/ipi_hammerhead.c
57
ipiops.ppc_send_ipi = hh_send_ipi;