--- Gnu-Mach/xen/evt.c	2020/09/02 04:45:34	1.1.1.1
+++ Gnu-Mach/xen/evt.c	2020/09/02 04:52:17	1.1.1.2
@@ -77,7 +77,8 @@ void hyp_c_callback(void *ret_addr, void
 
 void form_int_mask(void)
 {
-	unsigned int i, j, bit, mask;
+	unsigned int j, bit, mask;
+	int i;
 
 	for (i=SPL0; i < NSPL; i++) {
 		for (j=0x00, bit=0x01, mask = 0; j < NEVNT; j++, bit<<=1)