Constant DBGKD_MAJOR_COUNT 

pub const DBGKD_MAJOR_COUNT: DBGKD_MAJOR_TYPES;