read_c0_brcm_config
max_cpus = (((read_c0_brcm_config() >> 6) & 0x03) + 1) << 1;
cpu_set_core(¤t_cpu_data, (read_c0_brcm_config() >> 25) & 3);
ctx->cp0_regs[CONFIG] = read_c0_brcm_config();