HomeSort by: relevance | last modified time | path
    Searched refs:ppc_send_ipi (Results 1 - 6 of 6) 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);
ipi_openpic.c 62 ipiops.ppc_send_ipi = openpic_send_ipi;
  /src/sys/arch/bebox/bebox/
ipi_bebox.c 49 ipiops.ppc_send_ipi = bebox_send_ipi;
  /src/sys/arch/macppc/macppc/
ipi_hammerhead.c 57 ipiops.ppc_send_ipi = hh_send_ipi;
pic_u3_ht.c 286 ipiops.ppc_send_ipi = u3_ht_send_ipi;
  /src/sys/arch/prep/prep/
machdep.c 259 ppc_send_ipi(IPI_T_NOTME, PPC_IPI_HALT);

Completed in 15 milliseconds