KVM_ARM_VCPU_TIMER_IRQ_PTIMER 1140 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_PTIMER:
KVM_ARM_VCPU_TIMER_IRQ_PTIMER 1160 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_PTIMER:
KVM_ARM_VCPU_TIMER_IRQ_PTIMER 1175 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_PTIMER: