VE_CACHE_COUNT
struct vmspace_entry *ve_cache[VE_CACHE_COUNT];
i = vklp->ve_cache_rover & (VE_CACHE_COUNT - 1);
for (i = 0; i < VE_CACHE_COUNT; ++i) {