void _CORE_mutex_Seize( CORE_mutex_Control *_the_mutex, Objects_Id _id, bool _wait, Watchdog_Interval _timeout, ISR_Level _level ) { _CORE_mutex_Seize_body( _the_mutex, _id, _wait, _timeout, _level ); }
void _CORE_mutex_Seize( CORE_mutex_Control *_the_mutex, Thread_Control *_executing, bool _wait, Watchdog_Interval _timeout, ISR_Level _level ) { _CORE_mutex_Seize_body( _the_mutex, _executing, _wait, _timeout, _level ); }