Searched refs:OPENPIC_IPI_DISPATCH (Results 1 – 1 of 1) sorted by relevance
41 #define OPENPIC_IPI_DISPATCH(ipi) (0x40 + (ipi) * 0x10) macro129 (OPENPIC_PCPU_BASE(cpu) + OPENPIC_IPI_DISPATCH(ipi))