Constant DBG_DEVICE_FLAG_HAL_SCRATCH_ALLOCATED 

pub const DBG_DEVICE_FLAG_HAL_SCRATCH_ALLOCATED: u32 = 1u32;