opentitanlib::debug::dmi::consts

Constant HARTINFO

Source 
pub const HARTINFO: u32 = 0x12;