Constant sgx_tlibc_sys::EL3RST

source · 
pub const EL3RST: i32 = 47;