Constant sgx_oc::linux::x86_64::SA_RESTART

pub const SA_RESTART: c_int = 0x1000_0000;