Symbol: acpi_gtdt_c3stop
drivers/clocksource/arm_arch_timer.c
1232
arch_timer_c3stop = acpi_gtdt_c3stop(arch_timer_uses_ppi);
include/linux/acpi.h
770
bool acpi_gtdt_c3stop(int type);