| 
							
							# xen backend driver support
 | 
						
						
						
						
							 | 
							
							common-obj-$(CONFIG_XEN_BACKEND) += xen_backend.o xen_devconfig.o
 | 
						
						
						
						
							 | 
							
							
 | 
						
						
						
						
							 | 
							
							obj-$(CONFIG_XEN_PCI_PASSTHROUGH) += xen-host-pci-device.o
 | 
						
						
						
						
							 | 
							
							obj-$(CONFIG_XEN_PCI_PASSTHROUGH) += xen_pt.o xen_pt_config_init.o xen_pt_graphics.o xen_pt_msi.o
 |