Thanks to Wolfgang Keller <[email protected]>

Author: kaashoek

defs.h

@@ -131,7 +131,7 @@ void            popcli(void);
 
 // sleeplock.c
 void            acquiresleep(struct sleeplock*);
-void             releasesleep(struct sleeplock*);
+void            releasesleep(struct sleeplock*);
 int             holdingsleep(struct sleeplock*);
 void            initsleeplock(struct sleeplock*, char*);