Searched defs: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() local3984 int max_irr, vppr; in vmx_has_nested_events() local
4126 u32 vppr; in vmx_guest_apic_has_interrupt() local