Constant opentitanlib::debug::dmi::consts::DTMCS_DMIRESET_SHIFT

pub const DTMCS_DMIRESET_SHIFT: u32 = 16;