Searched refs:VMX_II_IDX_REG (Results 1 – 2 of 2) sorted by relevance
78 #define VMX_II_IDX_REG(v) (((v) >> 18U) & 0xfU) macro
589 uint64_t val64 = vcpu_get_gpreg(vcpu, VMX_II_IDX_REG(instr_info)); in get_vmx_memory_operand()
Completed in 6 milliseconds