Home
last modified time | relevance | path

Searched refs:max_acpi_id (Results 1 – 1 of 1) sorted by relevance

/linux/drivers/xen/
H A Dxen-acpi-processor.c294 unsigned int i, last_cpu, max_acpi_id = 0; in get_max_acpi_id() local
310 max_acpi_id = max(info->acpi_id, max_acpi_id); in get_max_acpi_id()
312 max_acpi_id *= 2; /* Slack for CPU hotplug support. */ in get_max_acpi_id()
313 pr_debug("Max ACPI ID: %u\n", max_acpi_id); in get_max_acpi_id()
314 return max_acpi_id; in get_max_acpi_id()