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