The inter-processor interrupt (IPI) controller provides cross-processor interrupts between the device processors. The interrupt channels include 32-byte message buffer passing channels and non-buffer channels. See the Inter-Processor Interrupts chapter for a description.