pub const DBGKD_VERS_FLAG_NOMM: u32 = 8u32;