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