Searched refs:virtual_apic_page_addr (Results 1 – 2 of 2) sorted by relevance
106 u64 virtual_apic_page_addr;
224 u64 virtual_apic_page_addr; member712 FIELD64(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr),9080 if (!PAGE_ALIGNED(vmcs12->virtual_apic_page_addr) || in nested_get_vmcs12_pages()9081 vmcs12->virtual_apic_page_addr >> maxphyaddr) in nested_get_vmcs12_pages()9087 nested_get_page(vcpu, vmcs12->virtual_apic_page_addr); in nested_get_vmcs12_pages()