1i386_softmmu_ss.add(when: 'CONFIG_WHPX', if_true: files( 2 'whpx-all.c', 3 'whpx-apic.c', 4 'whpx-cpus.c', 5)) 6