version 1.21, 2004/03/17 14:14:02 |
version 1.22, 2004/03/21 10:25:59 |
Line 1231 pmap_release(pmap_t pm) |
|
Line 1231 pmap_release(pmap_t pm) |
|
|
|
if (pm->pm_sr[0] == 0) |
if (pm->pm_sr[0] == 0) |
panic("pmap_release"); |
panic("pmap_release"); |
idx = VSID_TO_HASH(pm->pm_vsid) & (NPMAPS-1); |
idx = pm->pm_vsid & (NPMAPS-1); |
mask = 1 << (idx % VSID_NBPW); |
mask = 1 << (idx % VSID_NBPW); |
idx /= VSID_NBPW; |
idx /= VSID_NBPW; |
|
|
|
KASSERT(pmap_vsid_bitmap[idx] & mask); |
pmap_vsid_bitmap[idx] &= ~mask; |
pmap_vsid_bitmap[idx] &= ~mask; |
} |
} |
|
|