Lines Matching +full:ipi +full:- +full:id
1 /*-
2 * SPDX-License-Identifier: BSD-3-Clause
37 * Per Processor Registers [private access] (0x00000 - 0x00fff)
40 /* IPI dispatch command reg */
41 #define OPENPIC_IPI_DISPATCH(ipi) (0x40 + (ipi) * 0x10) argument
56 * Global registers (0x01000-0x0ffff)
78 /* vendor ID */
84 /* IPI vector/priority reg */
85 #define OPENPIC_IPI_VECTOR(ipi) (0x10a0 + (ipi) * 0x10) argument
99 * Interrupt Source Configuration Registers (0x10000 - 0x1ffff)
123 * Per Processor Registers [global access] (0x20000 - 0x3ffff)
128 #define OPENPIC_PCPU_IPI_DISPATCH(cpu, ipi) \ argument
129 (OPENPIC_PCPU_BASE(cpu) + OPENPIC_IPI_DISPATCH(ipi))