acpi_gtdt_c3stop 1609 drivers/clocksource/arm_arch_timer.c arch_timer_c3stop = acpi_gtdt_c3stop(arch_timer_uses_ppi); acpi_gtdt_c3stop 647 include/linux/acpi.h bool acpi_gtdt_c3stop(int type);