Constant EL3HLT 

pub const EL3HLT: ErrnoCode;