Check that the maskable interrupt status is restored by the call to rtems_interrupt_local_enable() according to the _isr_cookie parameter. In this case maskable interrupts are still disabled afterwards.
Check that the maskable interrupt status is restored by the call to rtems_interrupt_local_enable() according to the _isr_cookie parameter. In this case maskable interrupts are enabled afterwards.