1*1b248f14SClaudio Fontanai386_ss.add(when: 'CONFIG_TCG', if_true: files( 2*1b248f14SClaudio Fontana 'bpt_helper.c', 3*1b248f14SClaudio Fontana 'cc_helper.c', 4*1b248f14SClaudio Fontana 'excp_helper.c', 5*1b248f14SClaudio Fontana 'fpu_helper.c', 6*1b248f14SClaudio Fontana 'int_helper.c', 7*1b248f14SClaudio Fontana 'mem_helper.c', 8*1b248f14SClaudio Fontana 'misc_helper.c', 9*1b248f14SClaudio Fontana 'mpx_helper.c', 10*1b248f14SClaudio Fontana 'seg_helper.c', 11*1b248f14SClaudio Fontana 'smm_helper.c', 12*1b248f14SClaudio Fontana 'svm_helper.c', 13*1b248f14SClaudio Fontana 'translate.c'), if_false: files('tcg-stub.c')) 14