Searched refs:vlevel (Results 1 – 1 of 1) sorted by relevance
517 bool vlevel, plevel; in kvm_timer_should_notify_user() local522 vlevel = sregs->device_irq_level & KVM_ARM_DEV_EL1_VTIMER; in kvm_timer_should_notify_user()525 return kvm_timer_should_fire(vtimer) != vlevel || in kvm_timer_should_notify_user()