Constant DBGKD_VERS_FLAG_HSS 

pub const DBGKD_VERS_FLAG_HSS: u32 = 16u32;