pub const DIEDBS_MAPPEDPRI1: u32 = 1u32;