/* * $Id$ */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include /*PAGE * * _POSIX_signals_Set_process_signals */ void _POSIX_signals_Set_process_signals( sigset_t mask ) { ISR_Level level; _ISR_Disable( level ); if ( !_POSIX_signals_Pending ) _Thread_Do_post_task_switch_extension++; _POSIX_signals_Pending |= mask; _ISR_Enable( level ); }