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

/netbsd-6-1-5-RELEASE/sys/arch/powerpc/booke/
H A De500_intr.c1135 e500_intr_cpu_send_ipi(cpuid_t target, uint32_t ipimsg) argument
1151 if (ipimsg)
1153 ipimsg);
1163 if (ipimsg)
1164 atomic_or_32(&dst_ci->ci_pending_ipis, ipimsg);

Completed in 104 milliseconds