1i386_user_ss.add(when: ['CONFIG_TCG', 'CONFIG_USER_ONLY'], if_true: files( 2 'excp_helper.c', 3 'seg_helper.c', 4)) 5
