pub const DBGKD_MAJOR_NTBD: DBGKD_MAJOR_TYPES = 4i32;