Lines Matching defs:vmptr
5146 gpa_t vmptr;
5208 if (nested_vmx_get_vmptr(vcpu, &vmptr, &ret))
5219 if (!page_address_valid(vcpu, vmptr))
5222 if (kvm_read_guest(vcpu->kvm, vmptr, &revision, sizeof(revision)) ||
5226 vmx->nested.vmxon_ptr = vmptr;
5280 gpa_t vmptr;
5286 if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))
5289 if (!page_address_valid(vcpu, vmptr))
5292 if (vmptr == vmx->nested.vmxon_ptr)
5297 * memory area pointer by vmptr as Enlightened VMCS (as there's no good
5307 if (vmptr == vmx->nested.current_vmptr)
5320 vmptr + offsetof(struct vmcs12,
5323 } else if (vmx->nested.hv_evmcs && vmptr == vmx->nested.hv_evmcs_vmptr) {
5556 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr)
5558 vmx->nested.current_vmptr = vmptr;
5573 gpa_t vmptr;
5579 if (nested_vmx_get_vmptr(vcpu, &vmptr, &r))
5582 if (!page_address_valid(vcpu, vmptr))
5585 if (vmptr == vmx->nested.vmxon_ptr)
5592 if (vmx->nested.current_vmptr != vmptr) {
5596 if (kvm_gfn_to_hva_cache_init(vcpu->kvm, ghc, vmptr, VMCS12_SIZE)) {
5633 set_current_vmptr(vmx, vmptr);