Constant sgx_tlibc_sys::EL2HLT

source · 
pub const EL2HLT: i32 = 51;