pub const DBGKD_MAJOR_COUNT: DBGKD_MAJOR_TYPES;