CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT (not configurable)

configname: CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT

Linux Kernel Configuration
└─>TRACE_IRQFLAGS_NMI_SUPPORT
In linux kernel since version 5.1 (release Date: 2019-05-05)