drivers/gpu/drm/vboxvideo/Makefile - kernel/common - Git at Google

 # SPDX-License-Identifier: GPL-2.0
 vboxvideo-y :=  hgsmi_base.o modesetting.o vbva_base.o \
 		vbox_drv.o vbox_hgsmi.o vbox_irq.o vbox_main.o \
 		vbox_mode.o vbox_ttm.o

 obj-$(CONFIG_DRM_VBOXVIDEO) += vboxvideo.o
	# SPDX-License-Identifier: GPL-2.0
	vboxvideo-y := hgsmi_base.o modesetting.o vbva_base.o \
	vbox_drv.o vbox_hgsmi.o vbox_irq.o vbox_main.o \
	vbox_mode.o vbox_ttm.o

	obj-$(CONFIG_DRM_VBOXVIDEO) += vboxvideo.o