4897 	gpa_t vmptr;  in handle_vmon()  local
4937 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &ret))  in handle_vmon()
4948 	if (!page_address_valid(vcpu, vmptr))  in handle_vmon()
4951 	if (kvm_read_guest(vcpu->kvm, vmptr, &revision, sizeof(revision)) ||  in handle_vmon()
4955 	vmx->nested.vmxon_ptr = vmptr;  in handle_vmon()
5009 	gpa_t vmptr;  in handle_vmclear()  local
5016 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmclear()
5019 	if (!page_address_valid(vcpu, vmptr))  in handle_vmclear()
5022 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmclear()
5037 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5041 				     vmptr + offsetof(struct vmcs12,  in handle_vmclear()
5253 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr)  in set_current_vmptr()  argument
5255 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5269 	gpa_t vmptr;  in handle_vmptrld()  local
5275 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmptrld()
5278 	if (!page_address_valid(vcpu, vmptr))  in handle_vmptrld()
5281 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmptrld()
5288 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5292 		if (kvm_vcpu_map(vcpu, gpa_to_gfn(vmptr), &map)) {  in handle_vmptrld()
5322 		set_current_vmptr(vmx, vmptr);  in handle_vmptrld()