Constant windows::Wdk::System::SystemServices::DBG_DEVICE_FLAG_SCRATCH_ALLOCATED
pub const DBG_DEVICE_FLAG_SCRATCH_ALLOCATED: u32 = 4u32;
pub const DBG_DEVICE_FLAG_SCRATCH_ALLOCATED: u32 = 4u32;