1 files changed, 13 insertions, 0 deletions
diff --git a/kernel/tools/lib/lockdep/tests/ABBA.c b/kernel/tools/lib/lockdep/tests/ABBA.c
new file mode 100644
index 000000000..07f0e29d5
--- /dev/null
+++ b/kernel/tools/lib/lockdep/tests/ABBA.c
@@ -0,0 +1,13 @@
+#include <liblockdep/mutex.h>
+#include "common.h"
+
+void main(void)
+{
+	pthread_mutex_t a, b;
+
+	pthread_mutex_init(&a, NULL);
+	pthread_mutex_init(&b, NULL);
+
+	LOCK_UNLOCK_2(a, b);
+	LOCK_UNLOCK_2(b, a);
+}