diff options
Diffstat (limited to 'cpukit/score/src/userextiterate.c')
-rw-r--r-- | cpukit/score/src/userextiterate.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/cpukit/score/src/userextiterate.c b/cpukit/score/src/userextiterate.c index c9125016de..beeee9570b 100644 --- a/cpukit/score/src/userextiterate.c +++ b/cpukit/score/src/userextiterate.c @@ -124,6 +124,20 @@ void _User_extensions_Fatal_visitor( } } +void _User_extensions_Thread_terminate_visitor( + Thread_Control *executing, + void *arg, + const User_extensions_Table *callouts +) +{ + User_extensions_thread_terminate_extension callout = + callouts->thread_terminate; + + if ( callout != NULL ) { + (*callout)( executing ); + } +} + void _User_extensions_Iterate( void *arg, User_extensions_Visitor visitor |