From b43e13d9190a165cd3a8b8e9e7221eb2a9cc73d7 Mon Sep 17 00:00:00 2001
From: Glenn Elliott <gelliott@cs.unc.edu>
Date: Fri, 5 Jul 2013 13:18:26 -0400
Subject: make it compile

---
 kernel/mutex.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel')

diff --git a/kernel/mutex.c b/kernel/mutex.c
index ff56dc04f648..e980a5b64227 100644
--- a/kernel/mutex.c
+++ b/kernel/mutex.c
@@ -24,6 +24,8 @@
 #include <linux/interrupt.h>
 #include <linux/debug_locks.h>
 
+#include <litmus/litmus.h>
+
 /*
  * In the DEBUG case we are using the "NULL fastpath" for mutexes,
  * which forces all calls into the slowpath:
-- 
cgit v1.2.2