On Thu, Mar 08, 2018 at 01:53:13PM +0000, Dave Martin wrote: > In practice, we don't race booting of two CPUs against each other > IIUC. Yup. Today, hotplugs are strictly serialized. Several things would have to change for parallel hotplug to be feasible. Thanks, Mark.