IPI extension
The IPI extension ID
Send an inter-processor interrupt (IPI) to the harts defined in hart_mask. The IPI is received on a hart as a supervisor software interrupt.
hart_mask