kernel::interrupt

Type Alias InterruptId

Source 
pub type InterruptId = u32;
Expand description

Interrupt ID type