1# SPDX-License-Identifier: GPL-2.0-only 2ccflags-$(CONFIG_ARCH_MULTIPLATFORM) := -I$(srctree)/$(src)/include 3 4obj-$(CONFIG_SMP) += headsmp.o platsmp.o 5obj-$(CONFIG_HOTPLUG_CPU) += hotplug.o 6