1 /* SPDX-License-Identifier: GPL-2.0 */
3 * This file is designed to contain the BUILD_INTERRUPT specifications for
4 * all of the extra named interrupt vectors used by the architecture.
5 * Usually this is the Inter Process Interrupts (IPIs)
9 * The following vectors are part of the Linux architecture, there
10 * is no hardware IRQ pin equivalent for them, they are triggered
11 * through the ICC by us (IPIs)
14 BUILD_INTERRUPT(reschedule_interrupt
,RESCHEDULE_VECTOR
)
17 #ifdef CONFIG_HAVE_KVM
18 BUILD_INTERRUPT(kvm_posted_intr_ipi
, POSTED_INTR_VECTOR
)
19 BUILD_INTERRUPT(kvm_posted_intr_wakeup_ipi
, POSTED_INTR_WAKEUP_VECTOR
)
20 BUILD_INTERRUPT(kvm_posted_intr_nested_ipi
, POSTED_INTR_NESTED_VECTOR
)