Type Definition libc::thread_t

type thread_t = mach_port_t;