xen_pcpu_hotplug_sync  353 drivers/xen/pcpu.c EXPORT_SYMBOL_GPL(xen_pcpu_hotplug_sync);
xen_pcpu_hotplug_sync  220 drivers/xen/xen-acpi-cpuhotplug.c 	xen_pcpu_hotplug_sync();
xen_pcpu_hotplug_sync   57 include/xen/acpi.h void xen_pcpu_hotplug_sync(void);