pub type InterruptNum = usize;
Numeric value used to identify interrupt lines.
The meaning of this value is defined by a kernel and target hardware. They are not necessarily tightly packed from zero.