Searched refs:vppr (Results 1 – 2 of 2) sorted by relevance
3368 u8 vppr = kvm_lapic_get_reg(vcpu->arch.apic, APIC_PROCPRI); in vmx_has_apicv_interrupt() local3370 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_has_apicv_interrupt()3970 int max_irr, vppr; in vmx_has_nested_events() local3992 vppr = *((u32 *)(vapic + APIC_PROCPRI)); in vmx_has_nested_events()3997 if (max_irr > 0 && (max_irr & 0xf0) > (vppr & 0xf0)) in vmx_has_nested_events()
4124 u32 vppr; in vmx_guest_apic_has_interrupt() local4135 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()4137 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_guest_apic_has_interrupt()