1softmmu_ss.add(when: ['CONFIG_XEN', xen], 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
10xen_specific_ss = ss.source_set()
11xen_specific_ss.add(when: 'CONFIG_XEN_PCI_PASSTHROUGH', if_true: files(
12  'xen-host-pci-device.c',
13  'xen_pt.c',
14  'xen_pt_config_init.c',
15  'xen_pt_graphics.c',
16  'xen_pt_load_rom.c',
17  'xen_pt_msi.c',
18), if_false: files('xen_pt_stub.c'))
19
20specific_ss.add_all(when: ['CONFIG_XEN', xen], if_true: xen_specific_ss)
21