[−][src]Constant sgx_libc::EL3RST

pub const EL3RST: int32_t = 47;