# CONFIG_TRACE_BRANCH_PROFILING is not set