Home
last modified time | relevance | path

Searched refs:ppc_send_ipi (Results 1 – 6 of 6) sorted by relevance

/netbsd-src/sys/arch/powerpc/pic/
H A Dipivar.h43 void (*ppc_send_ipi)(cpuid_t, uint32_t); member
73 (*ipiops.ppc_send_ipi)(cpuid, msg); in cpu_send_ipi()
H A Dipi_openpic.c62 ipiops.ppc_send_ipi = openpic_send_ipi; in setup_openpic_ipi()
/netbsd-src/sys/arch/bebox/bebox/
H A Dipi_bebox.c49 ipiops.ppc_send_ipi = bebox_send_ipi; in setup_bebox_ipi()
/netbsd-src/sys/arch/macppc/macppc/
H A Dipi_hammerhead.c57 ipiops.ppc_send_ipi = hh_send_ipi; in setup_hammerhead_ipi()
H A Dpic_u3_ht.c286 ipiops.ppc_send_ipi = u3_ht_send_ipi; in setup_u3_ht()
/netbsd-src/sys/arch/prep/prep/
H A Dmachdep.c259 ppc_send_ipi(IPI_T_NOTME, PPC_IPI_HALT); in cpu_reboot()