s390x_ss.add(when: 'CONFIG_TCG', if_true: files(
'cc_helper.c',
'crypto_helper.c',
'excp_helper.c',
'fpu_helper.c',
'int_helper.c',
'mem_helper.c',
'misc_helper.c',
'translate.c',
'vec_fpu_helper.c',
'vec_helper.c',
'vec_int_helper.c',
'vec_string_helper.c',
))