opentitanlib::debug::dmi::consts

Constant DTMCS_IDLE_SHIFT

Source 
pub const DTMCS_IDLE_SHIFT: u32 = 12;