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