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)) 5906c0876SPhilippe Mathieu-Daudéi386_ss.add(when: ['CONFIG_XEN', xen], if_true: files( 6906c0876SPhilippe Mathieu-Daudé 'xen-hvm.c', 7*cb035a7bSEdgar E. Iglesias 'xen-pvh.c', 8906c0876SPhilippe Mathieu-Daudé)) 9bb346faeSJoao Martins 10bb346faeSJoao Martinsi386_ss.add(when: 'CONFIG_XEN_BUS', if_true: files( 11bb346faeSJoao Martins 'xen_platform.c', 12bb346faeSJoao Martins)) 13