Searched refs:secondary_cpu_count (Results 1 – 2 of 2) sorted by relevance
164 void lk_init_secondary_cpus(uint secondary_cpu_count) { in lk_init_secondary_cpus() argument165 if (secondary_cpu_count >= SMP_MAX_CPUS) { in lk_init_secondary_cpus()167 secondary_cpu_count, SMP_MAX_CPUS); in lk_init_secondary_cpus()168 secondary_cpu_count = SMP_MAX_CPUS - 1; in lk_init_secondary_cpus()170 for (uint i = 0; i < secondary_cpu_count; i++) { in lk_init_secondary_cpus()179 secondary_bootstrap_thread_count = secondary_cpu_count; in lk_init_secondary_cpus()
17 void lk_init_secondary_cpus(uint secondary_cpu_count);
Completed in 2 milliseconds