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);