HomeSort by: relevance | last modified time | path
    Searched defs:ppc_send_ipi (Results 1 - 1 of 1) sorted by relevancy

  /src/sys/arch/powerpc/pic/
ipivar.h 43 void (*ppc_send_ipi)(cpuid_t, uint32_t); member in struct:ipi_ops
73 (*ipiops.ppc_send_ipi)(cpuid, msg);

Completed in 11 milliseconds