KVM_ARM_IRQ_TYPE_PPI  281 arch/arm/include/uapi/asm/kvm.h #define KVM_ARM_IRQ_TYPE_PPI		2
KVM_ARM_IRQ_TYPE_PPI  340 arch/arm64/include/uapi/asm/kvm.h #define KVM_ARM_IRQ_TYPE_PPI		2
KVM_ARM_IRQ_TYPE_PPI  281 tools/arch/arm/include/uapi/asm/kvm.h #define KVM_ARM_IRQ_TYPE_PPI		2
KVM_ARM_IRQ_TYPE_PPI  340 tools/arch/arm64/include/uapi/asm/kvm.h #define KVM_ARM_IRQ_TYPE_PPI		2