--- np2/i386c/ia32/paging.c	2011/01/15 17:17:23	1.31
+++ np2/i386c/ia32/paging.c	2011/01/15 18:36:12	1.32
@@ -787,7 +787,7 @@ tlb_init(void)
 
 	memset(tlb, 0, sizeof(tlb));
 #if defined(IA32_PROFILE_TLB)
-	memset(tlb_profile, 0, sizeof(tlb_profile));
+	memset(&tlb_profile, 0, sizeof(tlb_profile));
 #endif	/* IA32_PROFILE_TLB */
 }