Lines Matching refs:vmptr
8322 gpa_t vmptr; in handle_vmon() local
8359 if (nested_vmx_get_vmptr(vcpu, &vmptr)) in handle_vmon()
8370 if (!PAGE_ALIGNED(vmptr) || (vmptr >> cpuid_maxphyaddr(vcpu))) { in handle_vmon()
8375 page = kvm_vcpu_gpa_to_page(vcpu, vmptr); in handle_vmon()
8389 vmx->nested.vmxon_ptr = vmptr; in handle_vmon()
8504 gpa_t vmptr; in handle_vmclear() local
8509 if (nested_vmx_get_vmptr(vcpu, &vmptr)) in handle_vmclear()
8512 if (!PAGE_ALIGNED(vmptr) || (vmptr >> cpuid_maxphyaddr(vcpu))) { in handle_vmclear()
8517 if (vmptr == vmx->nested.vmxon_ptr) { in handle_vmclear()
8522 if (vmptr == vmx->nested.current_vmptr) in handle_vmclear()
8526 vmptr + offsetof(struct vmcs12, launch_state), in handle_vmclear()
8853 static void set_current_vmptr(struct vcpu_vmx *vmx, gpa_t vmptr) in set_current_vmptr() argument
8855 vmx->nested.current_vmptr = vmptr; in set_current_vmptr()
8870 gpa_t vmptr; in handle_vmptrld() local
8875 if (nested_vmx_get_vmptr(vcpu, &vmptr)) in handle_vmptrld()
8878 if (!PAGE_ALIGNED(vmptr) || (vmptr >> cpuid_maxphyaddr(vcpu))) { in handle_vmptrld()
8883 if (vmptr == vmx->nested.vmxon_ptr) { in handle_vmptrld()
8888 if (vmx->nested.current_vmptr != vmptr) { in handle_vmptrld()
8891 page = kvm_vcpu_gpa_to_page(vcpu, vmptr); in handle_vmptrld()
8916 set_current_vmptr(vmx, vmptr); in handle_vmptrld()