Searched refs:xen_acpi_processor_init (Results 1 – 1 of 1) sorted by relevance
516 static int __init xen_acpi_processor_init(void) in xen_acpi_processor_init() function600 device_initcall(xen_acpi_processor_init);