opentitanlib::debug::dmi::consts

Constant DTMCS_VERSION_0_13

Source 
pub const DTMCS_VERSION_0_13: u32 = 1;