i386_softmmu_ss.add(when: 'CONFIG_WHPX', if_true: files(
  'whpx-all.c',
  'whpx-apic.c',
  'whpx-accel-ops.c',
))