Searched refs:KVM_ARM_DEV_EL1_VTIMER (Results 1 – 6 of 6) sorted by relevance
164 #define KVM_ARM_DEV_EL1_VTIMER (1 << 0) macro
437 regs->device_irq_level &= ~(KVM_ARM_DEV_EL1_VTIMER | in kvm_timer_update_run()440 regs->device_irq_level |= KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_update_run()868 vlevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_should_notify_user()
1267 if (switched_level & KVM_ARM_DEV_EL1_VTIMER) { in kvm_arch_post_run()1270 KVM_ARM_DEV_EL1_VTIMER)); in kvm_arch_post_run()1271 switched_level &= ~KVM_ARM_DEV_EL1_VTIMER; in kvm_arch_post_run()
2066 #define KVM_ARM_DEV_EL1_VTIMER (1 << 0) macro
2073 #define KVM_ARM_DEV_EL1_VTIMER (1 << 0) macro
7898 KVM_ARM_DEV_EL1_VTIMER - EL1 virtual timer