VSID_VRMA
(vsid >> PPC64_PAGE_SHIFT) == VSID_VRMA)
if (hash == VSID_VRMA) /* also special, avoid this too */
if (vsid == VSID_VRMA || vsid == 0 /* Older VRMA */)