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