# CONFIG_TRACE_IRQFLAGS_NMI_SUPPORT is not set
