Searched refs:addr_page (Results 1 – 1 of 1) sorted by relevance
121 uint64_t addr_page = addr / MEM_PAGE_SIZE; in alloc() local122 allocation a{addr_page, size_pages}; in alloc()127 assert(hole.start_page <= addr_page); in alloc()128 assert(hole.num_pages >= size_pages + addr_page - hole.start_page); in alloc()