Lines Matching defs:pg
1450 uint64_t pg;
1548 pg = pg_start;
1549 for (pfn = pfn_start; pfn <= pfn_end; pfn++, pg++) {
1555 (void *)(uintptr_t)(pg << MMU_PAGESHIFT), path);
1560 ASSERT(pfn == pg);
1564 pg << MMU_PAGESHIFT,
1575 (void *)(uintptr_t)pg, path);
1579 ASSERT(pg == pg_end + 1);
1601 uint64_t pg;
1670 for (pg = pg_start; pg <= pg_end; pg++) {
1673 pg << MMU_PAGESHIFT, deviceid, domainid, dp, type,
1679 ASSERT(pg == pg_end);