Hardware Abstraction Layer (HAL)
IRQ Muxing (Interrupt muxing)

There are two situations where system interrupts do not correlate 1:1 to CPU interrupts.

("System interrupt" refers to a signal on a peripheral that can request an interrupt. "CPU interrupt" refers to an IRQ input line on the cpu). Each has a different potential impact on application behavior.