drivers/usb/host/whci/Makefile - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0

 obj-$(CONFIG_USB_WHCI_HCD) += whci-hcd.o

 whci-hcd-y := \
 	asl.o	\
 	debug.o \
 	hcd.o	\
 	hw.o	\
 	init.o	\
 	int.o	\
 	pzl.o	\
 	qset.o	\
 	wusb.o
	# SPDX-License-Identifier: GPL-2.0

	obj-$(CONFIG_USB_WHCI_HCD) += whci-hcd.o

	whci-hcd-y := \
	asl.o \
	debug.o \
	hcd.o \
	hw.o \
	init.o \
	int.o \
	pzl.o \
	qset.o \
	wusb.o