Searched refs:eptp_list_address (Results 1 – 3 of 3) sorted by relevance
70 u64 eptp_list_address; member252 CHECK_OFFSET(eptp_list_address, 304); in vmx_check_vmcs12_offsets()
50 FIELD64(EPTP_LIST_ADDRESS, eptp_list_address),
2798 CC(!page_address_valid(vcpu, vmcs12->eptp_list_address))) in nested_check_vm_execution_controls()5901 if (kvm_vcpu_read_guest_page(vcpu, vmcs12->eptp_list_address >> PAGE_SHIFT, in nested_vmx_eptp_switching()