Constant DBGKD_VERS_FLAG_HAL_IN_NTOS

pub const DBGKD_VERS_FLAG_HAL_IN_NTOS: u32 = 64u32;