CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT (not configurable)
configname: CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT
Linux Kernel Configuration
└─>General architecture-dependent options
└─>TRACE_IRQFLAGS_NMI_SUPPORT