Lines Matching defs:page
72 static bool is_mapped(uint64_t page)
74 return mapped_bitfield[page / NBBY] & (1 << page % NBBY);
77 static void set_mapped(uint64_t page)
79 mapped_bitfield[page / NBBY] |= (1 << page % NBBY);
82 static lvaddr_t map_page(uint64_t page)
86 if (!is_mapped(page)) {
87 err = memobj->m.f.pagefault(&memobj->m, vregion, page * BASE_PAGE_SIZE, 0);
92 set_mapped(page);
96 return genvaddr + page * BASE_PAGE_SIZE;
106 uint64_t page = (addr.bus << 8) | (addr.device << 3) | addr.function;
107 return map_page(page);