Constant DBGKD_MAJOR_EFI 

pub const DBGKD_MAJOR_EFI: DBGKD_MAJOR_TYPES;