Constant DBGKD_VERS_FLAG_HAL_IN_NTOS 

pub const DBGKD_VERS_FLAG_HAL_IN_NTOS: u32 = 64u32;