#include "pthread_impl.h"

void __lock(volatile int *l)
{
	while (a_swap(l, 1)) __wait(l, l+1, 1, 1);
}

void __unlock(volatile int *l)
{
	a_store(l, 0);
	if (l[1]) __wake(l, 1, 1);
}