pub const DBG_DEVICE_FLAG_BARS_MAPPED: u32 = 2u32;