Searched refs:spinning_secondaries (Results 1 – 4 of 4) sorted by relevance
81 int spinning_secondaries; variable444 if (spinning_secondaries == 0) in smp_release_cpus()448 DBG("spinning_secondaries = %d\n", spinning_secondaries); in smp_release_cpus()
777 spinning_secondaries = boot_cpu_count - 1; in early_init_devtree()
438 3: LOAD_REG_ADDR(r3, spinning_secondaries) /* Decrement spinning_secondaries */
33 extern int spinning_secondaries;
