Searched refs:vapic_page (Results 1 – 2 of 2) sorted by relevance
3834 void *vapic_page; in vmx_complete_nested_posted_interrupt() local3850 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_complete_nested_posted_interrupt()3851 if (!vapic_page) in vmx_complete_nested_posted_interrupt()3855 vapic_page, &max_irr); in vmx_complete_nested_posted_interrupt()
4125 void *vapic_page; in vmx_guest_apic_has_interrupt() local4136 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_guest_apic_has_interrupt()4137 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()