Constant DBGKD_VERS_FLAG_MP 

pub const DBGKD_VERS_FLAG_MP: u32 = 1u32;