Constant sgx_libc::SYS_restart_syscall

pub const SYS_restart_syscall: i64 = 219; // 219i64