drivers/staging/vc04_services/bcm2835-audio/Makefile - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 obj-$(CONFIG_SND_BCM2835)	+= snd-bcm2835.o
 snd-bcm2835-objs		:= bcm2835.o bcm2835-ctl.o bcm2835-pcm.o bcm2835-vchiq.o

 ccflags-y += -I $(srctree)/$(src)/../include -D__VCCOREVER__=0x04000000
	# SPDX-License-Identifier: GPL-2.0
	obj-$(CONFIG_SND_BCM2835) += snd-bcm2835.o
	snd-bcm2835-objs := bcm2835.o bcm2835-ctl.o bcm2835-pcm.o bcm2835-vchiq.o

	ccflags-y += -I $(srctree)/$(src)/../include -D__VCCOREVER__=0x04000000