validation: Fix bad thread dispatch validation

Where the robust thread dispatching is disabled, the
ISRDisabledOnDemandThreadDispatchTask() has to exit.

Update #3716.
This commit is contained in:
Sebastian Huber
2024-06-04 17:19:25 +02:00
committed by Kinsey Moore
parent 58748a3a71
commit 89e795a42a

View File

@@ -193,6 +193,7 @@ static void ISRDisabledOnDemandThreadDispatchTask( rtems_task_argument arg )
rtems_interrupt_local_disable( level );
(void) level;
SetSelfPriority( PRIO_VERY_HIGH );
rtems_task_exit();
}
static void FatalBadThreadDispatchDisableLevel(