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