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