Fix: do not use CONFIG_HOTPLUG_CPU for the new hotplug API
This page took 0.04069 seconds and 3 git commands to generate.