Type Definition sgx_libc::pthread_attr_t

type pthread_attr_t = *mut c_void;