eptp_list_address 2549 arch/x86/kvm/vmx/nested.c 			    CC(!page_address_valid(vcpu, vmcs12->eptp_list_address)))
eptp_list_address 5052 arch/x86/kvm/vmx/nested.c 	if (kvm_vcpu_read_guest_page(vcpu, vmcs12->eptp_list_address >> PAGE_SHIFT,
eptp_list_address   49 arch/x86/kvm/vmx/vmcs12.c 	FIELD64(EPTP_LIST_ADDRESS, eptp_list_address),
eptp_list_address   70 arch/x86/kvm/vmx/vmcs12.h 	u64 eptp_list_address;
eptp_list_address  260 arch/x86/kvm/vmx/vmcs12.h 	CHECK_OFFSET(eptp_list_address, 304);