_REG32_ES
if (gr[_REG32_ES] != 0 && !VALID_USER_DSEL32(gr[_REG32_ES]))
gr32[_REG32_ES] = gr[_REG_ES];
tf->tf_es = gr[_REG32_ES] & 0xFFFF;
gr[_REG32_ES] = tf->tf_es & 0xFFFF;