MAX_VA_SIZE_PAGES
if (idx < MAX_VA_SIZE_PAGES)
for (i = 0; i < MAX_VA_SIZE_PAGES; i++) {
for (i = 0; i < MAX_VA_SIZE_PAGES; i++)
struct vmap_pool pool[MAX_VA_SIZE_PAGES];