Searched refs:vapic_page (Results 1 – 2 of 2) sorted by relevance
3785 void *vapic_page; in vmx_complete_nested_posted_interrupt() local3801 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_complete_nested_posted_interrupt()3802 if (!vapic_page) in vmx_complete_nested_posted_interrupt()3806 vapic_page, &max_irr); in vmx_complete_nested_posted_interrupt()
3999 void *vapic_page; in vmx_guest_apic_has_interrupt() local4010 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_guest_apic_has_interrupt()4011 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()