Searched refs:vapic_page (Results 1 – 2 of 2) sorted by relevance
3749 void *vapic_page; in vmx_complete_nested_posted_interrupt() local3765 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_complete_nested_posted_interrupt()3766 if (!vapic_page) in vmx_complete_nested_posted_interrupt()3770 vapic_page, &max_irr); in vmx_complete_nested_posted_interrupt()
3891 void *vapic_page; in vmx_guest_apic_has_interrupt() local3902 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_guest_apic_has_interrupt()3903 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()