Searched refs:virtual_apic_page_addr (Results 1 – 3 of 3) sorted by relevance
115 u64 virtual_apic_page_addr; member355 *value = current_evmcs->virtual_apic_page_addr; in evmcs_vmread()779 current_evmcs->virtual_apic_page_addr = value; in evmcs_vmwrite()
102 u64 virtual_apic_page_addr;
559 if (CC(!page_address_valid(vcpu, vmcs12->virtual_apic_page_addr))) in nested_vmx_check_tpr_shadow_controls()1835 vmcs12->virtual_apic_page_addr = evmcs->virtual_apic_page_addr; in copy_enlightened_to_vmcs12()3456 if (!kvm_vcpu_map(vcpu, gpa_to_gfn(vmcs12->virtual_apic_page_addr), map)) { in nested_get_vmcs12_pages()