xen_acpi_processor_init  441 drivers/xen/xen-acpi-cpuhotplug.c module_init(xen_acpi_processor_init);
xen_acpi_processor_init  602 drivers/xen/xen-acpi-processor.c device_initcall(xen_acpi_processor_init);