Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision 8b4d6cbc48b833752f89ebc4578be4f2b25bc3b9)
+++ kernel/arch/ia64/src/ia64.c	(revision 2b70a6ef1953ed86c2591cd28bb890b64b5ad143)
@@ -100,9 +100,8 @@
 static void iosapic_init(void)
 {
-
 	uint64_t IOSAPIC = PA2KA((unative_t)(iosapic_base)) | FW_OFFSET;
 	int i;
 	
-	int myid,myeid;
+	int myid, myeid;
 	
 	myid = ia64_get_cpu_id();