kos_sys::arch::irq

Constant EXC_DTLB_PV_READ

Source 
pub const EXC_DTLB_PV_READ: irq_t;