--- src/sys/platform/pc32/icu/icu_abi.c	2007/04/30 16:45:58	1.12
+++ src/sys/platform/pc32/icu/icu_abi.c	2007/05/01 00:05:18	1.13
@@ -197,8 +197,6 @@ static
 void
 icu_cleanup(void)
 {
-	kprintf("fpending %08x ipending %08x\n",
-		mdcpu->gd_fpending, mdcpu->gd_ipending);
 	mdcpu->gd_fpending = 0;
 	mdcpu->gd_ipending = 0;
 }