Searched refs:spinning_secondaries (Results 1 – 4 of 4) sorted by relevance
77 int spinning_secondaries; variable473 if (spinning_secondaries == 0) in smp_release_cpus()477 DBG("spinning_secondaries = %d\n", spinning_secondaries); in smp_release_cpus()
806 spinning_secondaries = boot_cpu_count - 1; in early_init_devtree()
439 3: LOAD_REG_ADDR(r3, spinning_secondaries) /* Decrement spinning_secondaries */
29 extern int spinning_secondaries;