Constant DBG_DEVICE_FLAG_BARS_MAPPED 

pub const DBG_DEVICE_FLAG_BARS_MAPPED: u32 = 2u32;