BOOT_VEC
ctx->cp0_regs[BOOT_VEC] = read_c0_brcm_bootvec();
write_c0_brcm_bootvec(ctx->cp0_regs[BOOT_VEC]);