Searched refs:OPENPIC_IPI (Results 1 – 2 of 2) sorted by relevance
80 #define OPENPIC_IPI(cpu, ipi) (0x20040 + (cpu) * 0x1000 + (ipi) * 0x10) macro
748 openpic_write(OPENPIC_IPI(curcpu()->ci_cpuid, id), 1 << ci->ci_cpuid); in openpic_send_ipi()