VSID_NBPW
for (i = 0; i < NPMAPS; i += VSID_NBPW) {
mask = 1L << (hash & (VSID_NBPW-1));
hash &= ~(VSID_NBPW-1);
mask = 1 << (idx % VSID_NBPW);
idx /= VSID_NBPW;
pmap_vsid_bitmap[(KERNEL_VSIDBITS & (NPMAPS-1)) / VSID_NBPW]
|= 1 << (KERNEL_VSIDBITS % VSID_NBPW);
pmap_vsid_bitmap[(PHYSMAP_VSIDBITS & (NPMAPS-1)) / VSID_NBPW]
|= 1 << (PHYSMAP_VSIDBITS % VSID_NBPW);
static uint32_t pmap_vsid_bitmap[NPMAPS / VSID_NBPW];