1i386_system_ss.add(when: [hvf, 'CONFIG_HVF'], if_true: files( 2 'x86_decode.c', 3 'x86_emu.c', 4 'x86_flags.c', 5)) 6