Constant sgx_libc::EL2HLT

pub const EL2HLT: i32 = 51;