PXR40RM Datasheet, PDF (345/1434 Pages) Freescale Semiconductor, Inc – PXR40 Microcontroller

Interrupts and Interrupt Controller (INTC)
NOTE
Reading the INTC_IACKR acknowledges the interrupt request to the
processor and updates the INTC_CPR[PRI] with the priority of the
preempting interrupt request. If the processor recognition of interrupts is
disabled during the LIFO restoration, interrupt requests to the processor can
go undetected. However, since the peripheral or software configurable
interrupt requests are not cleared, the peripheral interrupt request to the
processor re-asserts when INTC_CPR[PRI] is lower than the priorities of
those peripheral or software configurable interrupt requests.
Freescale Semiconductor
PXR40 Microcontroller Reference Manual, Rev. 1
10-45