Searched refs:VirtPageNo (Results 1 – 1 of 1) sorted by relevance
57 static inline uint64_t VirtPageNo(uint64_t vaddr) in VirtPageNo() function65 return VirtPageNo(vaddr) >> UXPTE_PER_PAGE_SHIFT; in UxptePageNo()71 return VirtPageNo(vaddr) & (UXPTE_PER_PAGE - 1); in UxpteOffset()324 return UxpteOffset(startAddr) + (VirtPageNo(currAddr) - VirtPageNo(startAddr)); in GetIndexInUxpte()