void plat_smp_setup(void) { if (read_c0_config3() & (1<<2)) mipsmt_build_cpu_map(0); }
static void __init ssmtc_smp_setup(void) { if (read_c0_config3() & (1 << 2)) mipsmt_build_cpu_map(0); }