#include "pthread_impl.h"
int pthread_spin_init(pthread_spinlock_t *s, int shared)
{
return *s = 0;
}