Searched refs:rvi (Results 1 – 2 of 2) sorted by relevance
3893 int rvi; in vmx_guest_apic_has_interrupt() local3900 rvi = vmx_get_rvi(); in vmx_guest_apic_has_interrupt()3905 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_guest_apic_has_interrupt()
3331 u8 rvi = vmx_get_rvi(); in vmx_has_apicv_interrupt() local3334 return ((rvi & 0xf0) > (vppr & 0xf0)); in vmx_has_apicv_interrupt()