Constant windows::Win32::System::Diagnostics::Debug::Extensions::DBGKD_VERS_FLAG_HAL_IN_NTOS

pub const DBGKD_VERS_FLAG_HAL_IN_NTOS: u32 = 64u32;