Index: src/synch/semaphore.c
===================================================================
--- src/synch/semaphore.c	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ src/synch/semaphore.c	(revision 76cec1e21a9510de8780a546f59799bc82003d87)
@@ -31,4 +31,5 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
+#include <arch/asm.h>
 
 void semaphore_initialize(semaphore_t *s, int val)