opentitanlib::debug::dmi::consts

Constant DMCONTROL_HALTREQ_MASK

Source 
pub const DMCONTROL_HALTREQ_MASK: u32 = _; // 2_147_483_648u32