Constant opentitanlib::debug::dmi::consts::DMCONTROL_HARTSELLO_SHIFT

pub const DMCONTROL_HARTSELLO_SHIFT: u32 = 16;