Constant sgx_oc::linux::x86_64::EL3RST

source · 
pub const EL3RST: i32 = 47;