Searched refs:OPENPIC_IPI_DISPATCH (Results 1 - 1 of 1) sorted by relevance
| /freebsd-11.0-release/sys/powerpc/include/ | ||
| H A D | openpicreg.h | 40 #define OPENPIC_IPI_DISPATCH(ipi) (0x40 + (ipi) * 0x10) macro 128 (OPENPIC_PCPU_BASE(cpu) + OPENPIC_IPI_DISPATCH(ipi)) |
Completed in 86 milliseconds