1 system_ss.add(when: ['CONFIG_XEN_BUS'], if_true: files(
5 'xen-legacy-backend.c',
10 system_ss.add(when: ['CONFIG_XEN', xen], if_true: files(
14 xen_specific_ss = ss.source_set()
15 if have_xen_pci_passthrough
16 xen_specific_ss.add(files(
17 'xen-host-pci-device.c',
19 'xen_pt_config_init.c',
25 xen_specific_ss.add(files('xen_pt_stub.c'))
28 specific_ss.add_all(when: ['CONFIG_XEN', xen], if_true: xen_specific_ss)
30 xen_ss = ss.source_set()
32 xen_ss.add(when: 'CONFIG_XEN', if_true: files(