i386_user_ss.add(when: ['CONFIG_TCG', 'CONFIG_USER_ONLY'], if_true: files(
  'excp_helper.c',
  'misc_stubs.c',
  'svm_stubs.c',
))