Searched refs:UXPTE_PER_PAGE (Results 1 – 1 of 1) sorted by relevance
54 static const size_t UXPTE_PER_PAGE = 1 << UXPTE_PER_PAGE_SHIFT; variable71 return VirtPageNo(vaddr) & (UXPTE_PER_PAGE - 1); in UxpteOffset()