Searched refs:device_irq_level (Results 1 – 4 of 4) sorted by relevance
1253 if (run->s.regs.device_irq_level != cpu->device_irq_level) { in kvm_arch_post_run()1254 switched_level = cpu->device_irq_level ^ run->s.regs.device_irq_level; in kvm_arch_post_run()1260 !!(run->s.regs.device_irq_level & in kvm_arch_post_run()1267 !!(run->s.regs.device_irq_level & in kvm_arch_post_run()1274 !!(run->s.regs.device_irq_level & KVM_ARM_DEV_PMU)); in kvm_arch_post_run()1284 cpu->device_irq_level = run->s.regs.device_irq_level; in kvm_arch_post_run()
1084 uint8_t device_irq_level; member
123 __u64 device_irq_level; member
160 __u64 device_irq_level; member