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

This commit is contained in:
Nathan Whitehorn 2011-11-17 15:48:12 +00:00
parent f28cf62d17
commit 46e93cbbc5

View File

@ -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);