pub const DBGKD_MAJOR_COUNT: DBGKD_MAJOR_TYPES = 11i32;