KVM_ARM_IRQ_TYPE_PPI
case KVM_ARM_IRQ_TYPE_PPI:
(__entry->type == KVM_ARM_IRQ_TYPE_PPI) ? "VGIC PPI" :
irq |= KVM_ARM_IRQ_TYPE_PPI << KVM_ARM_IRQ_TYPE_SHIFT;