Constant KDGKBTYPE

Source
pub const KDGKBTYPE: u32 = 19251;