pub const HARTINFO: u32 = 0x12;