kos_sys::arch::irq

Constant EXC_RESET_UDI

Source 
pub const EXC_RESET_UDI: irq_t;