opentitanlib::debug::dmi::consts

Constant DMCONTROL_HARTSELHI_SHIFT

Source 
pub const DMCONTROL_HARTSELHI_SHIFT: u32 = 6;