Constant KRA_DISP_NOTLOADED 

pub const KRA_DISP_NOTLOADED: u32 = 6u32;