drivers/firmware/tegra/Makefile - third_party/linux - Git at Google

 obj-$(CONFIG_TEGRA_BPMP)	+= bpmp.o
 obj-$(CONFIG_TEGRA_IVC)		+= ivc.o
	obj-$(CONFIG_TEGRA_BPMP) += bpmp.o
	obj-$(CONFIG_TEGRA_IVC) += ivc.o