Defined in 1 files as a config:

• drivers/acpi/arm64/Kconfig, line 9 (as a config)

Referenced in 4 files:

• arch/arm64/Kconfig, line 7
• drivers/acpi/arm64/Makefile, line 5
• drivers/clocksource/arm_arch_timer.c, line 1197
• include/linux/acpi.h, line 801