Constant EL3HLT 

pub const EL3HLT: i32 = 46;