--- linux/pcfclock.c
+++ linux/pcfclock.c
@@ -60,7 +60,7 @@
 #endif
 
 #include <asm/uaccess.h>
-#include <asm/semaphore.h>
+#include <linux/semaphore.h>
 
 /* Major device number */
 #define PCFCLOCK_MAJOR 181