Searched refs:intrsw_cpu_send_ipi (Results 1 - 3 of 3) sorted by relevance

/netbsd-current/sys/arch/powerpc/powerpc/
H A Dintr_stubs.c230 (*powerpc_intrsw->intrsw_cpu_send_ipi)(id, mask);
/netbsd-current/sys/arch/powerpc/include/booke/
H A Dintr.h131 void (*intrsw_cpu_send_ipi)(cpuid_t, uint32_t); member in struct:intrsw
/netbsd-current/sys/arch/powerpc/booke/
H A De500_intr.c437 .intrsw_cpu_send_ipi = e500_intr_cpu_send_ipi,

Completed in 183 milliseconds