Constant DBGKD_MAJOR_EFI

pub const DBGKD_MAJOR_EFI: DBGKD_MAJOR_TYPES;