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