Searched refs:instr_info (Results 1 – 1 of 1) sorted by relevance
8927 u32 instr_info = vmcs_read32(VMX_INSTRUCTION_INFO); in handle_vmptrst() local8935 if (get_vmx_mem_address(vcpu, exit_qual, instr_info, true, &gva)) in handle_vmptrst()
