On Tue, Apr 26, 2022, Varad Gautam wrote:
> + printf("smp: waiting for %d APs\n", _cpu_count - 1);
> + while (_cpu_count != atomic_read(&cpu_online_count)) {
Curly braces aren't needed. And to make this more robust, I think it makes sense
to do cpu_relax() in the loop so that it's more obvious that this is busy waiting.
