Constant DBG_DEVICE_FLAG_SCRATCH_ALLOCATED

pub const DBG_DEVICE_FLAG_SCRATCH_ALLOCATED: u32 = 4u32;