Searched refs:hh_send_ipi (Results 1 – 1 of 1) sorted by relevance
47 static void hh_send_ipi(cpuid_t, uint32_t);57 ipiops.ppc_send_ipi = hh_send_ipi; in setup_hammerhead_ipi()63 hh_send_ipi(cpuid_t target, uint32_t mesg) in hh_send_ipi() function