Searched refs:u3_ht_send_ipi (Results 1 – 1 of 1) sorted by relevance
126 static void u3_ht_send_ipi(cpuid_t, uint32_t);286 ipiops.ppc_send_ipi = u3_ht_send_ipi; in setup_u3_ht()624 u3_ht_send_ipi(cpuid_t target, uint32_t mesg) in u3_ht_send_ipi() function