Index: i386/i386/pmap.c
===================================================================
RCS file: /home/ncvs/src/sys/i386/i386/pmap.c,v
retrieving revision 1.606
diff -u -r1.606 pmap.c
--- i386/i386/pmap.c	8 Jan 2008 08:30:30 -0000	1.606
+++ i386/i386/pmap.c	14 Jan 2008 22:37:23 -0000
@@ -292,6 +292,13 @@
 CTASSERT(1 << PTESHIFT == sizeof(pt_entry_t));
 
 /*
+ * If you get an error here, then you set KVA_PAGES wrong
+ * It must be a multiple of 4 for a normal kernel, or a multiple
+ * of 8 for a PAE kernel
+ */
+CTASSERT(KERNBASE % (1 << 24) == 0);
+
+/*
  * Move the kernel virtual free pointer to the next
  * 4MB.  This is used to help improve performance
  * by using a large (4MB) page for much of the kernel