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