Type Definition libc::pthread_spinlock_t

type pthread_spinlock_t = c_int;