Constant KRA_DISP_NOTLOADED

pub const KRA_DISP_NOTLOADED: u32 = 6u32;