xen_acpi_processor_init  404 drivers/xen/xen-acpi-cpuhotplug.c static int __init xen_acpi_processor_init(void)
xen_acpi_processor_init  518 drivers/xen/xen-acpi-processor.c static int __init xen_acpi_processor_init(void)