score: Add and use _Thread_Enable_dispatch_body()

Update #2273.
This commit is contained in:
Sebastian Huber
2015-03-04 12:03:02 +01:00
parent b99be6e53e
commit d2ffb7dc77
2 changed files with 8 additions and 5 deletions
@@ -226,6 +226,12 @@ RTEMS_INLINE_ROUTINE void _Thread_Disable_dispatch( void )
}
#endif
RTEMS_INLINE_ROUTINE void _Thread_Enable_dispatch_body( void )
{
if ( _Thread_Dispatch_decrement_disable_level() == 0 )
_Thread_Dispatch();
}
/**
* This routine allows dispatching to occur again. If this is
* the outer most dispatching critical section, then a dispatching
@@ -240,8 +246,7 @@ RTEMS_INLINE_ROUTINE void _Thread_Disable_dispatch( void )
RTEMS_INLINE_ROUTINE void _Thread_Enable_dispatch( void )
{
RTEMS_COMPILER_MEMORY_BARRIER();
if ( _Thread_Dispatch_decrement_disable_level() == 0 )
_Thread_Dispatch();
_Thread_Enable_dispatch_body();
}
#endif
+1 -3
View File
@@ -27,8 +27,6 @@
#if defined (__THREAD_DO_NOT_INLINE_ENABLE_DISPATCH__ )
void _Thread_Enable_dispatch( void )
{
if ( _Thread_Dispatch_decrement_disable_level() )
return;
_Thread_Dispatch();
_Thread_Enable_dispatch_body();
}
#endif