pub const PPI_RANGE: Range<usize>;
Interrupt ID 16-31 are used for PPIs (Private Peripheral Interrupt).
PPI is a peripheral interrupt that is specific to a single processor.