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