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