5096 	gpa_t vmptr;  in handle_vmxon()  local
5136 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &ret))  in handle_vmxon()
5147 	if (!page_address_valid(vcpu, vmptr))  in handle_vmxon()
5150 	if (kvm_read_guest(vcpu->kvm, vmptr, &revision, sizeof(revision)) ||  in handle_vmxon()
5154 	vmx->nested.vmxon_ptr = vmptr;  in handle_vmxon()
5208 	gpa_t vmptr;  in handle_vmclear()  local
5215 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmclear()
5218 	if (!page_address_valid(vcpu, vmptr))  in handle_vmclear()
5221 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmclear()
5236 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5240 				     vmptr + offsetof(struct vmcs12,  in handle_vmclear()
5243 	} else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {  in handle_vmclear()
5476 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr)  in set_current_vmptr()  argument
5478 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5493 	gpa_t vmptr;  in handle_vmptrld()  local
5499 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmptrld()
5502 	if (!page_address_valid(vcpu, vmptr))  in handle_vmptrld()
5505 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmptrld()
5512 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5516 		if (kvm_gfn_to_hva_cache_init(vcpu->kvm, ghc, vmptr, VMCS12_SIZE)) {  in handle_vmptrld()
5553 		set_current_vmptr(vmx, vmptr);  in handle_vmptrld()