Searched defs:ppc_send_ipi (Results 1 - 1 of 1) sorted by relevance

/src/sys/arch/powerpc/pic/
H A Dipivar.h43 void (*ppc_send_ipi)(cpuid_t, uint32_t); member in struct:ipi_ops

Completed in 6 milliseconds