Searched refs:vapic_page (Results 1 – 2 of 2) sorted by relevance
3754 void *vapic_page; in vmx_complete_nested_posted_interrupt() local3766 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_complete_nested_posted_interrupt()3767 if (!vapic_page) in vmx_complete_nested_posted_interrupt()3771 vapic_page, &max_irr); in vmx_complete_nested_posted_interrupt()
3974 void *vapic_page; in vmx_guest_apic_has_interrupt() local3985 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_guest_apic_has_interrupt()3986 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()