Constant windows::Wdk::System::SystemServices::DBG_DEVICE_FLAG_HAL_SCRATCH_ALLOCATED
pub const DBG_DEVICE_FLAG_HAL_SCRATCH_ALLOCATED: u32 = 1u32;
pub const DBG_DEVICE_FLAG_HAL_SCRATCH_ALLOCATED: u32 = 1u32;