max_acpi_id       293 drivers/xen/xen-acpi-processor.c 	unsigned int i, last_cpu, max_acpi_id = 0;
max_acpi_id       309 drivers/xen/xen-acpi-processor.c 		max_acpi_id = max(info->acpi_id, max_acpi_id);
max_acpi_id       311 drivers/xen/xen-acpi-processor.c 	max_acpi_id *= 2; /* Slack for CPU hotplug support. */
max_acpi_id       312 drivers/xen/xen-acpi-processor.c 	pr_debug("Max ACPI ID: %u\n", max_acpi_id);
max_acpi_id       313 drivers/xen/xen-acpi-processor.c 	return max_acpi_id;