Searched refs:secondary_cpu_count (Results 1 - 2 of 2) sorted by relevance

/fuchsia/zircon/kernel/include/lk/
H A Dmain.h18 void lk_init_secondary_cpus(uint secondary_cpu_count);
/fuchsia/zircon/kernel/top/
H A Dmain.cpp137 void lk_init_secondary_cpus(uint secondary_cpu_count) { argument
138 if (secondary_cpu_count >= SMP_MAX_CPUS) {
139 dprintf(CRITICAL, "Invalid secondary_cpu_count %u, SMP_MAX_CPUS %d\n",
140 secondary_cpu_count, SMP_MAX_CPUS);
141 secondary_cpu_count = SMP_MAX_CPUS - 1;
143 for (uint i = 0; i < secondary_cpu_count; i++) {
151 secondary_idle_thread_count = secondary_cpu_count;

Completed in 31 milliseconds