xenpv_ss = ss.source_set()

xenpv_ss.add(when: 'CONFIG_XEN', if_true: files('xen_machine_pv.c'))