PRID_IMP_BMIPS3300_ALT
if ((read_c0_prid() & PRID_IMP_MASK) != PRID_IMP_BMIPS3300_ALT)
case PRID_IMP_BMIPS3300_ALT: