Constant DBGKD_VERS_FLAG_NOMM 

pub const DBGKD_VERS_FLAG_NOMM: u32 = 8u32;