Constant sgx_libc::EXFULL

pub const EXFULL: i32 = 54;