Defined in 2 files as a config:

• arch/arm/Kconfig, line 1682 (as a config)
• kernel/Kconfig.hz, line 34 (as a config)

Referenced in 2 files:

• arch/arm/Kconfig, line 1699
• kernel/Kconfig.hz, line 54