Searched refs:KVM_ARM_DEV_EL1_VTIMER (Results 1 – 2 of 2) sorted by relevance
265 regs->device_irq_level &= ~(KVM_ARM_DEV_EL1_VTIMER | in kvm_timer_update_run()268 regs->device_irq_level |= KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_update_run()522 vlevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_should_notify_user()
1541 #define KVM_ARM_DEV_EL1_VTIMER (1 << 0) macro