# CONFIG_IRQSOFF_TRACER is not set