Home
last modified time | relevance | path

Searched refs:total_pages (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/moe/server/src/
A Dmain.cc180 l4_addr_t total_pages = (max_addr - min_addr) >> L4_PAGESHIFT; in find_memory() local
182 assert(total_pages); in find_memory()
184 pages = (__typeof(pages))Single_page_alloc_base::_alloc(sizeof(*pages) * total_pages); in find_memory()
192 memset(pages, 0, sizeof(*pages) * total_pages); in find_memory()
200 sizeof(*pages) * total_pages / 1024, pages); in find_memory()

Completed in 3 milliseconds