pub const DBGKD_MAJOR_EFI: DBGKD_MAJOR_TYPES = 5i32;