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