Searched refs:pages_left (Results 1 – 1 of 1) sorted by relevance
132 uint32_t pages_left = npages; in exclaves_memory_alloc() local139 while (pages_left) { in exclaves_memory_alloc()170 pages_left--; in exclaves_memory_alloc()