KVM_ARM_IRQ_TYPE_PPI  933 virt/kvm/arm/arm.c 	case KVM_ARM_IRQ_TYPE_PPI:
KVM_ARM_IRQ_TYPE_PPI  112 virt/kvm/arm/trace.h 		  (__entry->type == KVM_ARM_IRQ_TYPE_PPI) ? "VGIC PPI" :