1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 227471fdbSAndy Henroid 3*2cbb20b0SJosh Poimboeuf# Branch profiling isn't noinstr-safe 4*2cbb20b0SJosh Poimboeufccflags-$(CONFIG_TRACE_BRANCH_PROFILING) += -DDISABLE_BRANCH_PROFILING 5*2cbb20b0SJosh Poimboeuf 6*2cbb20b0SJosh Poimboeufobj-$(CONFIG_INTEL_IDLE) += intel_idle.o 7