Symbol: read_acpi_id
drivers/xen/xen-acpi-processor.c
420
read_acpi_id, NULL, NULL, NULL);
drivers/xen/xen-acpi-processor.c
421
acpi_get_devices(ACPI_PROCESSOR_DEVICE_HID, read_acpi_id, NULL, NULL);