Constant sgx_libc::PTHREAD_DONE_INIT

pub const PTHREAD_DONE_INIT: c_int = 0;