pub const DBGKD_VERS_FLAG_HSS: u32 = 16u32;