acpi_probe_device_table 41 drivers/clocksource/timer-probe.c timers += acpi_probe_device_table(timer); acpi_probe_device_table 30 drivers/irqchip/irqchip.c acpi_probe_device_table(irqchip);