read_acpi_id      424 drivers/xen/xen-acpi-processor.c 			    read_acpi_id, NULL, NULL, NULL);
read_acpi_id      425 drivers/xen/xen-acpi-processor.c 	acpi_get_devices(ACPI_PROCESSOR_DEVICE_HID, read_acpi_id, NULL, NULL);