Searched defs:vmx_instruction_info (Results 1 – 1 of 1) sorted by relevance
316 u32 vmx_instruction_info; member6444 u32 vmx_instruction_info, gva_t *ret) in get_vmx_mem_address()7010 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local7053 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local7156 u32 vmx_instruction_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst() local7182 u32 vmx_instruction_info, types; in handle_invept() local