[][src]Type Definition sgx_tstd::os::unix::raw::pid_t

type pid_t = i32;