Symbol: disable_hotplug_cpu
drivers/xen/cpu_hotplug.c
65
disable_hotplug_cpu(cpu);
drivers/xen/cpu_hotplug.c
97
disable_hotplug_cpu(cpu);