KVM_ARM_DEV_EL1_VTIMER  286 virt/kvm/arm/arch_timer.c 	regs->device_irq_level &= ~(KVM_ARM_DEV_EL1_VTIMER |
KVM_ARM_DEV_EL1_VTIMER  289 virt/kvm/arm/arch_timer.c 		regs->device_irq_level |= KVM_ARM_DEV_EL1_VTIMER;
KVM_ARM_DEV_EL1_VTIMER  563 virt/kvm/arm/arch_timer.c 	vlevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_VTIMER;