svn commit: r227627 - head/sys/powerpc/aim

[Nathan Whitehorn]

Author: nwhitehorn
Date: Thu Nov 17 15:48:12 2011
New Revision: 227627
URL: http://svn.freebsd.org/changeset/base/227627

Log:
  Add an extra invariant here which was useful on 64-bit CPUs.

Modified:
  head/sys/powerpc/aim/mmu_oea.c

Modified: head/sys/powerpc/aim/mmu_oea.c
==============================================================================
--- head/sys/powerpc/aim/mmu_oea.c	Thu Nov 17 15:46:37 2011	(r227626)
+++ head/sys/powerpc/aim/mmu_oea.c	Thu Nov 17 15:48:12 2011	(r227627)
@@ -1624,6 +1624,8 @@ moea_pinit(mmu_t mmu, pmap_t pmap)
 			hash &= 0xfffff & ~(VSID_NBPW - 1);
 			hash |= i;
 		}
+		KASSERT(!(moea_vsid_bitmap[n] & mask),
+		    ("Allocating in-use VSID group %#x\n", hash));
 		moea_vsid_bitmap[n] |= mask;
 		for (i = 0; i < 16; i++)
 			pmap->pm_sr[i] = VSID_MAKE(i, hash);