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

  /src/sys/arch/powerpc/pic/
ipi_openpic.c 54 static void openpic_send_ipi(cpuid_t, uint32_t);
62 ipiops.ppc_send_ipi = openpic_send_ipi;
79 openpic_send_ipi(cpuid_t target, uint32_t mesg) function in typeref:typename:void

Completed in 37 milliseconds