Lines Matching refs:vmx_instruction_info
551 u32 vmx_instruction_info; member
708 CHECK_OFFSET(vmx_instruction_info, 836); in vmx_check_vmcs12_offsets()
1172 FIELD(VMX_INSTRUCTION_INFO, vmx_instruction_info),
8137 u32 vmx_instruction_info, bool wr, gva_t *ret) in get_vmx_mem_address() argument
8151 int scaling = vmx_instruction_info & 3; in get_vmx_mem_address()
8152 int addr_size = (vmx_instruction_info >> 7) & 7; in get_vmx_mem_address()
8153 bool is_reg = vmx_instruction_info & (1u << 10); in get_vmx_mem_address()
8154 int seg_reg = (vmx_instruction_info >> 15) & 7; in get_vmx_mem_address()
8155 int index_reg = (vmx_instruction_info >> 18) & 0xf; in get_vmx_mem_address()
8156 bool index_is_valid = !(vmx_instruction_info & (1u << 22)); in get_vmx_mem_address()
8157 int base_reg = (vmx_instruction_info >> 23) & 0xf; in get_vmx_mem_address()
8158 bool base_is_valid = !(vmx_instruction_info & (1u << 27)); in get_vmx_mem_address()
8705 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local
8730 field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in handle_vmread()
8741 if (vmx_instruction_info & (1u << 10)) { in handle_vmread()
8742 kvm_register_writel(vcpu, (((vmx_instruction_info) >> 3) & 0xf), in handle_vmread()
8746 vmx_instruction_info, true, &gva)) in handle_vmread()
8764 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local
8782 if (vmx_instruction_info & (1u << 10)) in handle_vmwrite()
8784 (((vmx_instruction_info) >> 3) & 0xf)); in handle_vmwrite()
8787 vmx_instruction_info, false, &gva)) in handle_vmwrite()
8797 field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in handle_vmwrite()
8951 u32 vmx_instruction_info, types; in handle_invept() local
8969 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invept()
8970 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invept()
8984 vmx_instruction_info, false, &gva)) in handle_invept()
9013 u32 vmx_instruction_info; in handle_invvpid() local
9032 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invvpid()
9033 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invvpid()
9048 vmx_instruction_info, false, &gva)) in handle_invvpid()
9099 u32 vmx_instruction_info; in handle_invpcid() local
9116 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_invpcid()
9117 type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf); in handle_invpcid()
9128 vmx_instruction_info, false, &gva)) in handle_invpcid()
9588 u32 vmx_instruction_info; in nested_vmx_exit_handled_vmcs_access() local
9596 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in nested_vmx_exit_handled_vmcs_access()
9597 field = kvm_register_read(vcpu, (((vmx_instruction_info) >> 28) & 0xf)); in nested_vmx_exit_handled_vmcs_access()
13100 vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in prepare_vmcs12()