12c44220dSMarc-André Lureaui386_ss.add(when: 'CONFIG_XEN', if_true: files( 22c44220dSMarc-André Lureau 'xen_apic.c', 32c44220dSMarc-André Lureau 'xen_pvdevice.c', 42c44220dSMarc-André Lureau)) 5*906c0876SPhilippe Mathieu-Daudéi386_ss.add(when: ['CONFIG_XEN', xen], if_true: files( 6*906c0876SPhilippe Mathieu-Daudé 'xen-hvm.c', 7*906c0876SPhilippe Mathieu-Daudé)) 8bb346faeSJoao Martins 9bb346faeSJoao Martinsi386_ss.add(when: 'CONFIG_XEN_BUS', if_true: files( 10bb346faeSJoao Martins 'xen_platform.c', 11bb346faeSJoao Martins)) 12