pthread_spin_init
pthread_spin_init(pthread_spinlock_t* lock, int pshared)
void pthread_spin_init() {}