5096 	gpa_t vmptr;  in handle_vmxon()  local
5158 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &ret))  in handle_vmxon()
5169 	if (!page_address_valid(vcpu, vmptr))  in handle_vmxon()
5172 	if (kvm_read_guest(vcpu->kvm, vmptr, &revision, sizeof(revision)) ||  in handle_vmxon()
5176 	vmx->nested.vmxon_ptr = vmptr;  in handle_vmxon()
5230 	gpa_t vmptr;  in handle_vmclear()  local
5237 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmclear()
5240 	if (!page_address_valid(vcpu, vmptr))  in handle_vmclear()
5243 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmclear()
5258 		if (vmptr == vmx->nested.current_vmptr)  in handle_vmclear()
5262 				     vmptr + offsetof(struct vmcs12,  in handle_vmclear()
5265 	} else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {  in handle_vmclear()
5498 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr)  in set_current_vmptr()  argument
5500 	vmx->nested.current_vmptr = vmptr;  in set_current_vmptr()
5515 	gpa_t vmptr;  in handle_vmptrld()  local
5521 	if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))  in handle_vmptrld()
5524 	if (!page_address_valid(vcpu, vmptr))  in handle_vmptrld()
5527 	if (vmptr == vmx->nested.vmxon_ptr)  in handle_vmptrld()
5534 	if (vmx->nested.current_vmptr != vmptr) {  in handle_vmptrld()
5538 		if (kvm_gfn_to_hva_cache_init(vcpu->kvm, ghc, vmptr, VMCS12_SIZE)) {  in handle_vmptrld()
5575 		set_current_vmptr(vmx, vmptr);  in handle_vmptrld()