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