The hardware spec uses REX.W/REX.R/REX.X/REX.B. But x86 binutils uses REX_MODE64/REX_EXTX/REX_EXTY/REX_EXTZ. I have to do a translation when I read the code. I suggest we repleace them with REX_W/REX_R/REX_X/REX_B. Dissassembler will print rexWRXB instead of rex64XYZ. H.J.