Type Definition libc_interface::pthread_t[][src]

type pthread_t = u64;