1xenpv_ss = ss.source_set() 2 3xenpv_ss.add(when: 'CONFIG_XEN', if_true: files('xen_machine_pv.c')) 4