Searched refs:get_max_acpi_id (Results 1 – 1 of 1) sorted by relevance
292 static unsigned int __init get_max_acpi_id(void) in get_max_acpi_id() function517 nr_acpi_bits = get_max_acpi_id() + 1; in xen_acpi_processor_init()