Searched refs:vppr (Results 1 – 2 of 2) sorted by relevance
3382 u8 vppr = kvm_lapic_get_reg(vcpu->arch.apic, APIC_PROCPRI); in vmx_has_apicv_interrupt() local3384 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_has_apicv_interrupt()3984 int max_irr, vppr; in vmx_has_nested_events() local4006 vppr = *((u32 *)(vapic + APIC_PROCPRI)); in vmx_has_nested_events()4011 if (max_irr > 0 && (max_irr & 0xf0) > (vppr & 0xf0)) in vmx_has_nested_events()
4126 u32 vppr; in vmx_guest_apic_has_interrupt() local4137 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()4139 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_guest_apic_has_interrupt()