pub const DBGKD_MAJOR_EXDI: DBGKD_MAJOR_TYPES = 3i32;