VSID_TO_HASH
idx = VSID_TO_HASH(pmap->pm_sr[0]) & (NPMAPS-1);
moea64_release_vsid(VSID_TO_HASH(pmap->pm_sr[0]));