drivers/gpu/vga/Makefile - linux - Git at Google

 obj-$(CONFIG_VGA_ARB)  += vgaarb.o
 obj-$(CONFIG_VGA_SWITCHEROO) += vga_switcheroo.o
	obj-$(CONFIG_VGA_ARB) += vgaarb.o
	obj-$(CONFIG_VGA_SWITCHEROO) += vga_switcheroo.o