494740cb7f
d0baf81b2f
1 2 3 4
5
6 7 8 9 10 11 12 13
/* * $Id$ */ #ifndef __POSIX_SIGNALS_h #define __POSIX_SIGNALS_h void _POSIX_signals_Post_switch_extension( Thread_Control *the_thread ); #endif /* end of file */