[RTEMS Project] #3060: ARMv7-M interrupt processing is broken

[RTEMS trac]

#3060: ARMv7-M interrupt processing is broken
-----------------------------+-----------------------------
 Reporter:  Sebastian Huber  |      Owner:  Sebastian Huber
     Type:  defect           |     Status:  assigned
 Priority:  normal           |  Milestone:  4.11.2
Component:  cpukit           |    Version:  4.11
 Severity:  normal           |   Keywords:
-----------------------------+-----------------------------
 Right after a "msr basepri_max, %[basepri]" instruction an interrupt
 service may still take place (observed at least on Cortex-M7).  However,
 pendable service calls that are activated during this interrupt service
 may be delayed until interrupts are enable again. The
 _ARMV7M_Pendable_service_call() does currently not check that a thread
 dispatch is allowed.  Move this test from
 _ARMV7M_Interrupt_service_leave() to _ARMV7M_Pendable_service_call().

--
Ticket URL: <http://devel.rtems.org/ticket/3060>
RTEMS Project <http://www.rtems.org/>
RTEMS Project