Constant opentitanlib::debug::dmi::consts::DMCONTROL_HALTREQ_MASK
source · pub const DMCONTROL_HALTREQ_MASK: u32 = _; // 2_147_483_648u32pub const DMCONTROL_HALTREQ_MASK: u32 = _; // 2_147_483_648u32