Index: arch/ia32/src/interrupt.c
===================================================================
--- arch/ia32/src/interrupt.c	(revision 4ffa9e01e6e86ad38deee8aff7dc570f7088ceba)
+++ arch/ia32/src/interrupt.c	(revision 7eade4519d32ca5af0efca0a7b73c67a90d6167f)
@@ -35,4 +35,5 @@
 #include <arch/asm.h>
 #include <mm/tlb.h>
+#include <arch.h>
 
 /*
@@ -91,6 +92,6 @@
 void syscall(__u8 n, __u32 stack[])
 {
-	printf("syscall... ");
-	thread_sleep(1);
+	printf("cpu%d: syscall\n", CPU->id);
+	thread_usleep(600);
 }