--- src/sys/libkern/crc32.c	2008/11/03 00:25:45	1.6
+++ src/sys/libkern/crc32.c	2008/11/03 08:41:31	1.7
@@ -55,8 +55,11 @@
 #include <sys/types.h>
 #endif
 
+#ifndef _KERNEL
+/* prototypes for the kernel are in <sys/systm.h> */
 uint32_t crc32(const void *buf, size_t size);
 uint32_t crc32_ext(const void *buf, size_t size, uint32_t ocrc);
+#endif
 
 uint32_t crc32_tab[] = {
 	0x00000000, 0x77073096, 0xee0e612c, 0x990951ba, 0x076dc419, 0x706af48f,