1790 	evmcs->vmx_instruction_info = vmcs12->vmx_instruction_info;  in copy_vmcs12_to_enlightened()
3740 	vmcs12->vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in prepare_vmcs12()
4207 			u32 vmx_instruction_info, bool wr, int len, gva_t *ret)  in get_vmx_mem_address()  argument
4221 	int  scaling = vmx_instruction_info & 3;  in get_vmx_mem_address()
4222 	int  addr_size = (vmx_instruction_info >> 7) & 7;  in get_vmx_mem_address()
4223 	bool is_reg = vmx_instruction_info & (1u << 10);  in get_vmx_mem_address()
4224 	int  seg_reg = (vmx_instruction_info >> 15) & 7;  in get_vmx_mem_address()
4225 	int  index_reg = (vmx_instruction_info >> 18) & 0xf;  in get_vmx_mem_address()
4226 	bool index_is_valid = !(vmx_instruction_info & (1u << 22));  in get_vmx_mem_address()
4227 	int  base_reg       = (vmx_instruction_info >> 23) & 0xf;  in get_vmx_mem_address()
4228 	bool base_is_valid  = !(vmx_instruction_info & (1u << 27));  in get_vmx_mem_address()
4603 	u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in handle_vmread()  local
4629 	field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf));  in handle_vmread()
4647 	if (vmx_instruction_info & (1u << 10)) {  in handle_vmread()
4648 		kvm_register_writel(vcpu, (((vmx_instruction_info) >> 3) & 0xf),  in handle_vmread()
4653 				vmx_instruction_info, true, len, &gva))  in handle_vmread()
4694 	u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in handle_vmwrite()  local
4713 	if (vmx_instruction_info & (1u << 10))  in handle_vmwrite()
4715 			(((vmx_instruction_info) >> 3) & 0xf));  in handle_vmwrite()
4719 				vmx_instruction_info, false, len, &gva))  in handle_vmwrite()
4728 	field = kvm_register_readl(vcpu, (((vmx_instruction_info) >> 28) & 0xf));  in handle_vmwrite()
4909 	u32 vmx_instruction_info, types;  in handle_invept()  local
4927 	vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in handle_invept()
4928 	type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf);  in handle_invept()
4940 			vmx_instruction_info, false, sizeof(operand), &gva))  in handle_invept()
4966 	u32 vmx_instruction_info;  in handle_invvpid()  local
4986 	vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in handle_invvpid()
4987 	type = kvm_register_readl(vcpu, (vmx_instruction_info >> 28) & 0xf);  in handle_invvpid()
5000 			vmx_instruction_info, false, sizeof(operand), &gva))  in handle_invvpid()
5292 	u32 vmx_instruction_info;  in nested_vmx_exit_handled_vmcs_access()  local
5300 	vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO);  in nested_vmx_exit_handled_vmcs_access()
5301 	field = kvm_register_read(vcpu, (((vmx_instruction_info) >> 28) & 0xf));  in nested_vmx_exit_handled_vmcs_access()