kos_sys::arch::irq

Type Alias irq_mask_t

Source 
pub type irq_mask_t = u32;