pub const SGI_RANGE: Range<usize>;Expand description
Interrupt ID 0-15 are used for SGIs (Software-generated interrupt).
SGI is an interrupt generated by software writing to a GICD_SGIR register in the GIC. The system uses SGIs for interprocessor communication.