pub const DBGKD_MAJOR_NT: DBGKD_MAJOR_TYPES = 0i32;