1222f3e6fSPaolo Bonzinii386_user_ss.add(when: ['CONFIG_TCG', 'CONFIG_USER_ONLY'], if_true: files( 2e7f2670fSClaudio Fontana 'excp_helper.c', 3*30493a03SClaudio Fontana 'seg_helper.c', 4222f3e6fSPaolo Bonzini)) 5