Constant sgx_libc::SA_RESTART

pub const SA_RESTART: c_int = 0x10000000;