Lines Matching +full:ipi +full:- +full:id

1 /* SPDX-License-Identifier: GPL-2.0 */
71  * Per-Processor registers
92  * Per-source registers
149  * Per-Processor registers
162  * Per-source registers
284 	/* vector numbers used for internal sources (ipi/timers) */
344  * The top 4 bits contain an MPIC bhw id that is used to index the
346  * Note setting any ID (leaving those bits to 0) means standard MPIC
355 /* Set this for a big-endian MPIC */
359 /* Broken IPI registers (autodetected) */
367 /* MPIC has 11-bit vector fields (or larger) */
387 /* MPIC HW modification ID */
412  *              standard ISU-less setup (aka powermac)
416  * @ipi_offset: first irq number to assign to this mpic IPI sources,
458  * IPI number is then the offset'ed (linux irq number mapped to the IPI)
462 /* Setup a non-boot CPU */
477 /* Send a message (IPI) to a given target (cpu number or MSG_*) */