diff options
| author | nwhitehorn <nwhitehorn@FreeBSD.org> | 2011-11-17 15:48:12 +0000 |
|---|---|---|
| committer | nwhitehorn <nwhitehorn@FreeBSD.org> | 2011-11-17 15:48:12 +0000 |
| commit | 6f4edbc71847532df7e5dbb131dc1bf0bb75d255 (patch) | |
| tree | db63fa3cf1ef1182b8c1523dc63f883ad09e59f3 /sys/powerpc | |
| parent | 4f6676aa7d38d50f6d721786e250fe219fe0057b (diff) | |
| download | FreeBSD-src-6f4edbc71847532df7e5dbb131dc1bf0bb75d255.zip FreeBSD-src-6f4edbc71847532df7e5dbb131dc1bf0bb75d255.tar.gz | |
Add an extra invariant here which was useful on 64-bit CPUs.
Diffstat (limited to 'sys/powerpc')
| -rw-r--r-- | sys/powerpc/aim/mmu_oea.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/powerpc/aim/mmu_oea.c b/sys/powerpc/aim/mmu_oea.c index 57c35bf..88ca0f7 100644 --- a/sys/powerpc/aim/mmu_oea.c +++ b/sys/powerpc/aim/mmu_oea.c @@ -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); |
