Searched defs:instr_info (Results 1 – 1 of 1) sorted by relevance
5636 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmread() local5742 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmwrite() local5931 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst() local