pub const TCGReg_TCG_REG_RSI: TCGReg = 6;