kos_sys::arch::irq

Constant EXC_OFFSET_600

Source 
pub const EXC_OFFSET_600: u32 = 3;