1*de6cd759SPhilippe Mathieu-Daudéi386_system_ss.add(when: ['CONFIG_TCG', 'CONFIG_SYSTEM_ONLY'], if_true: files( 2222f3e6fSPaolo Bonzini 'tcg-cpu.c', 3a93b55ecSClaudio Fontana 'smm_helper.c', 4e7f2670fSClaudio Fontana 'excp_helper.c', 56d8d1a03SClaudio Fontana 'bpt_helper.c', 6a4b1f4e6SClaudio Fontana 'misc_helper.c', 783a3d9c7SClaudio Fontana 'fpu_helper.c', 8b3903094SClaudio Fontana 'svm_helper.c', 930493a03SClaudio Fontana 'seg_helper.c', 10222f3e6fSPaolo Bonzini)) 11