PR_PAGE_MASK
MPASS((hcf & PR_PAGE_MASK(0)) == 0); /* PAGE_SIZE is >= 4K everywhere */
if ((hcf & PR_PAGE_MASK(idx)) == 0)
MPASS((hcf & PR_PAGE_MASK(0)) == 0); /* PAGE_SIZE is >= 4K everywhere */
if ((hcf & PR_PAGE_MASK(idx)) == 0)
MPASS((hcf & PR_PAGE_MASK(0)) == 0); /* PAGE_SIZE is >= 4K everywhere */
if ((hcf & PR_PAGE_MASK(idx)) == 0)