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