Type Definition cdds_util::pthread_spinlock_t

type pthread_spinlock_t = c_int;