USER_LOCAL
write_c0_userlocal(ctx->cp0_regs[USER_LOCAL]);
ctx->cp0_regs[USER_LOCAL] = read_c0_userlocal();