KVM_ARM_DEV_PMU
bool run_level = sregs->device_irq_level & KVM_ARM_DEV_PMU;
vcpu->run->s.regs.device_irq_level ^= KVM_ARM_DEV_PMU;