VEX_64           1256 lj_asm_x86.h   	  emit_mrm(as, XV_RORX|VEX_64, dest, key);
VEX_64           1536 lj_asm_x86.h   	emit_mrm(as, XV_RORX|VEX_64, dest, RID_MRM);
VEX_64           1709 lj_asm_x86.h   	  emit_rmro(as, XV_RORX|VEX_64, dest, base, ofs);
VEX_64            522 lj_emit_x86.h  #define VEX_64IR(ir, r)		((r) + (irt_is64((ir)->t) ? VEX_64 : 0))