_REG32_EFL
if (((gr[_REG32_EFL] ^ tf->tf_rflags) & PSL_USERSTATIC) != 0)
gr32[_REG32_EFL] = gr[_REG_RFLAGS];
tf->tf_rflags |= (gr[_REG32_EFL] & PSL_USER);
gr[_REG32_EFL] = tf->tf_rflags;