Symbol: u3_ht_send_ipi
sys/arch/macppc/macppc/pic_u3_ht.c
126
static void u3_ht_send_ipi(cpuid_t, uint32_t);
sys/arch/macppc/macppc/pic_u3_ht.c
286
ipiops.ppc_send_ipi = u3_ht_send_ipi;