Defined in 1 files as a config:

• lib/Kconfig.debug, line 2229 (as a config)

Referenced in 2 files:

• kernel/irq/Makefile, line 5
• kernel/irq/timings.c, line 631