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