arch/arm/mach-highbank/Makefile - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0-only
 obj-y					:= highbank.o system.o smc.o

 plus_sec := $(call as-instr,.arch_extension sec,+sec)
 AFLAGS_smc.o				:=-Wa,-march=armv7-a$(plus_sec)

 obj-$(CONFIG_PM_SLEEP)			+= pm.o
	# SPDX-License-Identifier: GPL-2.0-only
	obj-y := highbank.o system.o smc.o

	plus_sec := $(call as-instr,.arch_extension sec,+sec)
	AFLAGS_smc.o :=-Wa,-march=armv7-a$(plus_sec)

	obj-$(CONFIG_PM_SLEEP) += pm.o