Index: arch/ia64/src/cpu/cpu.c
===================================================================
--- arch/ia64/src/cpu/cpu.c	(revision 60f6b7c45ff45619f5a597a76dd55463fc15ceef)
+++ arch/ia64/src/cpu/cpu.c	(revision 5a2e9bbbd6e729563075d3e92ba3dd6dfb9aceb8)
@@ -39,10 +39,2 @@
 
 
-void gugux_pokus(void);
-void gugux_pokus(void)
-{
-    panic("\n\nGUGUX Exception\n\n");
-}
-
-
-
Index: arch/ia64/src/fmath.c
===================================================================
--- arch/ia64/src/fmath.c	(revision 60f6b7c45ff45619f5a597a76dd55463fc15ceef)
+++ arch/ia64/src/fmath.c	(revision 5a2e9bbbd6e729563075d3e92ba3dd6dfb9aceb8)
@@ -123,5 +123,5 @@
 	fmath_ld_union.ldd[7]=((fmath_ld_union.ldd[7])&0x7f)|(sign<<7); // change 64th bit (IA32 is a little endian)
 	return fmath_ld_union.bf;
-*/	return 1.0
+*/	return 1.0;
 }
 
Index: src/time/timeout.c
===================================================================
--- src/time/timeout.c	(revision 60f6b7c45ff45619f5a597a76dd55463fc15ceef)
+++ src/time/timeout.c	(revision 5a2e9bbbd6e729563075d3e92ba3dd6dfb9aceb8)
@@ -38,4 +38,5 @@
 #include <arch/asm.h>
 #include <arch.h>
+#include <print.h>
 
 
@@ -132,4 +133,5 @@
 		l = l->next;
 	}
+
 	m = l->prev;
 	list_prepend(&t->link, m); /* avoid using l->prev */