Searched refs:pages_left (Results 1 – 1 of 1) sorted by relevance
158 uint32_t pages_left = npages; in exclaves_memory_alloc() local181 while (pages_left) { in exclaves_memory_alloc()183 vm_page_alloc_list(pages_left, kma_flags, &page_list); in exclaves_memory_alloc()218 pages_left--; in exclaves_memory_alloc()