Constant DBG_DEVICE_FLAG_SCRATCH_ALLOCATED 

pub const DBG_DEVICE_FLAG_SCRATCH_ALLOCATED: u32 = 4u32;