KVM_ARM_VCPU_TIMER_IRQ_VTIMER 1137 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_VTIMER:
KVM_ARM_VCPU_TIMER_IRQ_VTIMER 1157 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_VTIMER:
KVM_ARM_VCPU_TIMER_IRQ_VTIMER 1174 virt/kvm/arm/arch_timer.c 	case KVM_ARM_VCPU_TIMER_IRQ_VTIMER: