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