Lines Matching refs:ppnum_t
69 extern ppnum_t pmap_find_phys(pmap_t pmap, addr64_t va);
88 ppnum_t phys_addr,
110 static ppnum_t gIOMaximumMappedIOPageCount = atop_32(kIOMaximumMappedIOByteCount);
112 ppnum_t gIOLastPage;
221 ppnum_t fMappedBase; // Page number of first page in this iopl
952 ppnum_t highPage = atop_64(addr + len - 1);
1758 ppnum_t *highest_page)
1761 ppnum_t phys;
1762 ppnum_t highestPage = 0;
1795 ppnum_t mapBase = 0;
1850 ppnum_t highestPage = 0;
1855 ppnum_t highPage = 0;
2655 (ppnum_t)(atop_64(physAddr + page)), page_size);