Type Definition ptrace_do_rs::pthread_spinlock_t

type pthread_spinlock_t = c_int;