CF_PAGE_MMUTR_MASK
(((int)(pte->pte) & (int)CF_PAGE_MMUTR_MASK)
mmutr |= (pte->pte & CF_PAGE_MMUTR_MASK) >> CF_PAGE_MMUTR_SHIFT;