Searched refs:vapic_page (Results 1 – 2 of 2) sorted by relevance
3409 void *vapic_page; in vmx_complete_nested_posted_interrupt() local3421 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_complete_nested_posted_interrupt()3422 if (!vapic_page) in vmx_complete_nested_posted_interrupt()3426 vapic_page, &max_irr); in vmx_complete_nested_posted_interrupt()
3768 void *vapic_page; in vmx_guest_apic_has_interrupt() local3779 vapic_page = vmx->nested.virtual_apic_map.hva; in vmx_guest_apic_has_interrupt()3780 vppr = *((u32 *)(vapic_page + APIC_PROCPRI)); in vmx_guest_apic_has_interrupt()