1i386_ss.add(when: 'CONFIG_XEN', if_true: files( 2 'xen-hvm.c', 3 'xen-mapcache.c', 4 'xen_apic.c', 5 'xen_platform.c', 6 'xen_pvdevice.c', 7)) 8
1i386_ss.add(when: 'CONFIG_XEN', if_true: files( 2 'xen-hvm.c', 3 'xen-mapcache.c', 4 'xen_apic.c', 5 'xen_platform.c', 6 'xen_pvdevice.c', 7)) 8