opentitanlib::debug::dmi::consts

Constant DMCONTROL_HARTSELLO_SHIFT

Source
pub const DMCONTROL_HARTSELLO_SHIFT: u32 = 16;