score: Add and use _Thread_Dispatch_is_enabled()

Delete _Thread_Dispatch_in_critical_section() and
_Thread_Is_dispatching_enabled().
This commit is contained in:
Sebastian Huber
2013-06-12 09:25:39 +02:00
parent ec978d97e0
commit 49cdf40afa
17 changed files with 32 additions and 59 deletions

View File

@@ -170,7 +170,7 @@ void __ISR_Handler( uint32_t vector)
if ( _ISR_Nest_level )
return;
if ( _Thread_Dispatch_in_critical_section() ) {
if ( !_Thread_Dispatch_is_enabled() ) {
return;
}

View File

@@ -172,7 +172,7 @@ void __ISR_Handler( uint32_t vector)
if ( _ISR_Nest_level )
return;
if ( _Thread_Dispatch_in_critical_section() ) {
if ( !_Thread_Dispatch_is_enabled() ) {
return;
}

View File

@@ -95,7 +95,7 @@ void __ISR_Handler( uint32_t vector)
if ( _ISR_Nest_level )
return;
if ( _Thread_Dispatch_in_critical_section() ) {
if ( !_Thread_Dispatch_is_enabled() ) {
return;
}

View File

@@ -69,7 +69,7 @@ void __ISR_Handler( uint32_t vector)
if ( _ISR_Nest_level )
return;
if ( _Thread_Dispatch_in_critical_section() ) {
if ( !_Thread_Dispatch_is_enabled() ) {
return;
}