kos_sys::arch::irq

Constant EXC_OFFSET_400

Source 
pub const EXC_OFFSET_400: u32 = 2;