Lines Matching defs:pmap_vsid_bitmap
401 static uint32_t pmap_vsid_bitmap[NPMAPS / VSID_NBPW];
1183 if (pmap_vsid_bitmap[n] & mask) { /* collision? */
1185 if (~pmap_vsid_bitmap[n] == 0) {
1189 i = ffs(~pmap_vsid_bitmap[n]) - 1;
1195 pmap_vsid_bitmap[n] |= mask;
1252 KASSERT(pmap_vsid_bitmap[idx] & mask);
1253 pmap_vsid_bitmap[idx] &= ~mask;
3407 pmap_vsid_bitmap[(KERNEL_VSIDBITS & (NPMAPS-1)) / VSID_NBPW]
3409 pmap_vsid_bitmap[(PHYSMAP_VSIDBITS & (NPMAPS-1)) / VSID_NBPW]
3411 pmap_vsid_bitmap[0] |= 1;