Symbol: TC_CP0_COUNT