1 #include "pthread_impl.h"
2 
__wait(volatile int * addr,volatile int * waiters,int val,int priv)3 void __wait(volatile int *addr, volatile int *waiters, int val, int priv)
4 {
5 	/* TRUSTY - no threads yet. */
6 	a_crash();
7 }
8