Searched refs:device_irq_level (Results 1 – 3 of 3) sorted by relevance
422 regs->device_irq_level &= ~(KVM_ARM_DEV_EL1_VTIMER | in kvm_timer_update_run()425 regs->device_irq_level |= KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_update_run()427 regs->device_irq_level |= KVM_ARM_DEV_EL1_PTIMER; in kvm_timer_update_run()909 vlevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_should_notify_user()910 plevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_PTIMER; in kvm_timer_should_notify_user()
418 bool run_level = sregs->device_irq_level & KVM_ARM_DEV_PMU; in kvm_pmu_should_notify_user()434 regs->device_irq_level &= ~KVM_ARM_DEV_PMU; in kvm_pmu_update_run()436 regs->device_irq_level |= KVM_ARM_DEV_PMU; in kvm_pmu_update_run()
158 __u64 device_irq_level; member
Completed in 12 milliseconds