# CONFIG_TRACEPOINT_BENCHMARK is not set