_REG32_DS
if (!VALID_USER_DSEL32(gr[_REG32_DS]) ||
gr32[_REG32_DS] = gr[_REG_DS];
tf->tf_ds = gr[_REG32_DS] & 0xFFFF;
gr[_REG32_DS] = tf->tf_ds & 0xFFFF;