1system_ss.add(when: ['CONFIG_XEN_BUS'], if_true: files( 2 'xen-backend.c', 3 'xen-bus-helper.c', 4 'xen-bus.c', 5 'xen-legacy-backend.c', 6 'xen_devconfig.c', 7 'xen_pvdev.c', 8)) 9 10system_ss.add(when: ['CONFIG_XEN', xen], if_true: files( 11 'xen-operations.c', 12), 13if_false: files( 14 'xen_stubs.c', 15)) 16 17xen_specific_ss = ss.source_set() 18xen_specific_ss.add(files( 19 'xen-mapcache.c', 20 'xen-hvm-common.c', 21 'xen-pvh-common.c', 22)) 23if have_xen_pci_passthrough 24 xen_specific_ss.add(files( 25 'xen-host-pci-device.c', 26 'xen_pt.c', 27 'xen_pt_config_init.c', 28 'xen_pt_graphics.c', 29 'xen_pt_load_rom.c', 30 'xen_pt_msi.c', 31 )) 32else 33 xen_specific_ss.add(files('xen_pt_stub.c')) 34endif 35 36specific_ss.add_all(when: ['CONFIG_XEN', xen], if_true: xen_specific_ss) 37