1i386_ss.add(when: 'CONFIG_XEN', if_true: files( 2 'xen_apic.c', 3 'xen_pvdevice.c', 4)) 5i386_ss.add(when: ['CONFIG_XEN', xen], if_true: files( 6 'xen-hvm.c', 7 'xen-pvh.c', 8)) 9 10i386_ss.add(when: 'CONFIG_XEN_BUS', if_true: files( 11 'xen_platform.c', 12)) 13