Searched refs:virtual_apic_page_addr (Results 1 – 2 of 2) sorted by relevance
106 u64 virtual_apic_page_addr;
220 u64 virtual_apic_page_addr; member657 FIELD64(VIRTUAL_APIC_PAGE_ADDR, virtual_apic_page_addr),8683 if (!PAGE_ALIGNED(vmcs12->virtual_apic_page_addr) || in nested_get_vmcs12_pages()8684 vmcs12->virtual_apic_page_addr >> maxphyaddr) in nested_get_vmcs12_pages()8690 nested_get_page(vcpu, vmcs12->virtual_apic_page_addr); in nested_get_vmcs12_pages()