xen_pcpu_id       381 drivers/xen/pcpu.c EXPORT_SYMBOL_GPL(xen_pcpu_id);
xen_pcpu_id        62 drivers/xen/xen-acpi-cpuhotplug.c 	pr->id = xen_pcpu_id(pr->acpi_id);
xen_pcpu_id        58 include/xen/acpi.h int xen_pcpu_id(uint32_t acpi_id);