Lines Matching +full:non +full:- +full:ipi
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) */
355 /* Set this for a big-endian MPIC */
359 /* Broken IPI registers (autodetected) */
367 /* MPIC has 11-bit vector fields (or larger) */
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_*) */