Searched refs:pages_left (Results 1 – 1 of 1) sorted by relevance
156 uint32_t pages_left = npages; in exclaves_memory_alloc() local167 while (pages_left) { in exclaves_memory_alloc()169 vm_page_alloc_list(pages_left, kma_flags, &page_list); in exclaves_memory_alloc()198 pages_left--; in exclaves_memory_alloc()