Searched refs:fdt_cpu_count (Results 1 – 1 of 1) sorted by relevance
80 int fdt_cpu_count = 0; in platform_cnt_cpus() local103 fdt_cpu_count++; in platform_cnt_cpus()120 mp_ncpus = min(reg_cpu_count, fdt_cpu_count); in platform_cnt_cpus()