Searched refs:vex_reg (Results 1 – 2 of 2) sorted by relevance
579 uint8_t vex_reg:4, /* vvvv: first source register specifier */ member
1369 error = vie_read_register(vcpu, gpr_map[vie->vex_reg], &src2); in emulate_bextr()2454 vie->vex_reg = ((~(unsigned)x & 0x78u) >> 3); in decode_prefixes()