kernel::interrupt

Type Alias CpuId

Source 
pub type CpuId = u32;
Expand description

CPU ID type