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