5193 	gpa_t vmptr;  in handle_vmxon()  local
5255 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &ret))  in handle_vmxon()
5266 	if (!page_address_valid(vcpu, vmptr))  in handle_vmxon()
5269 	if (kvm_read_guest(vcpu->kvm, vmptr, &revision, sizeof(revision)) ||  in handle_vmxon()
5273 	vmx->nested.vmxon_ptr = vmptr;  in handle_vmxon()
5327 	gpa_t vmptr;  in handle_vmclear()  local
5333 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmclear()
5336 	if (!page_address_valid(vcpu, vmptr))  in handle_vmclear()
5339 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmclear()
5354 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5367 					   vmptr + offsetof(struct vmcs12,  in handle_vmclear()
5370 	} else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {  in handle_vmclear()
5603 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr)  in set_current_vmptr()  argument
5605 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5620 	gpa_t vmptr;  in handle_vmptrld()  local
5626 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmptrld()
5629 	if (!page_address_valid(vcpu, vmptr))  in handle_vmptrld()
5632 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmptrld()
5639 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5643 		if (kvm_gfn_to_hva_cache_init(vcpu->kvm, ghc, vmptr, VMCS12_SIZE)) {  in handle_vmptrld()
5680 		set_current_vmptr(vmx, vmptr);  in handle_vmptrld()