xen_acpi_processor_exit 442 drivers/xen/xen-acpi-cpuhotplug.c module_exit(xen_acpi_processor_exit); xen_acpi_processor_exit 603 drivers/xen/xen-acpi-processor.c module_exit(xen_acpi_processor_exit);