write_c0_brcm_bootvec
write_c0_brcm_bootvec((read_c0_brcm_bootvec() & mask) |
write_c0_brcm_bootvec(ctx->cp0_regs[BOOT_VEC]);