pub const EL3HLT: i32 = 46;