30.4.1.3 Interrupt Status
IPC_IECR and IPC_IDCR are used to determine which interrupt sources are active/inhibited to generate an interrupt output. IPC_IMR is a status of the interrupt source selection (a result from write into IPC_IECR and IPC_IDCR). IPC_ISCR and IPC_ICCR are used to activate/inhibit interrupt sources. The Interrupt Pending register (IPC_IPR) is a status register giving active interrupt sources.
IPC_ISR reports which interrupt source(s) is(are) currently asserting an interrupt output. IPC_ISR is basically equivalent to an AND between the IPC_IPR and IPC_IMR registers.
