Constant DBG_DEVICE_FLAG_HOST_VISIBLE_ALLOCATED 

pub const DBG_DEVICE_FLAG_HOST_VISIBLE_ALLOCATED: u32 = 32u32;