1 #include "pthread_impl.h"
4 static volatile int vmlock
[2];
5 volatile int *const __vmlock_lockptr
= vmlock
;
10 while ((tmp
=vmlock
[0]))
11 __wait(vmlock
, vmlock
+1, tmp
, 1);
21 if (a_fetch_add(vmlock
, -1)==1 && vmlock
[1])
22 __wake(vmlock
, -1, 1);