Constant sgx_libc::_SC_2_PBS_CHECKPOINT

pub const _SC_2_PBS_CHECKPOINT: i32 = 175;