_REG_O4
r[_REG_O4] = tf->tf_out[4];
tf->tf_out[4] = r[_REG_O4];
gr[_REG_O4] = tf->tf_out[4];
tf->tf_out[4] = (uint64_t)gr[_REG_O4];
gr[_REG_O4] = tf->tf_out[4];
tf->tf_out[4] = (uint64_t)gr[_REG_O4];