CONFIG_ACPI_GTDT 1487 drivers/clocksource/arm_arch_timer.c #ifdef CONFIG_ACPI_GTDT CONFIG_ACPI_GTDT 644 include/linux/acpi.h #ifdef CONFIG_ACPI_GTDT