The inter-processor interrupt (IPI) may be used to process per-CPU jobs. See for example the blocked handler in T_interrupt_test(). Update #3199.
This patch is a part of the BSP source reorganization. Update #3285.