diff options
| -rw-r--r-- | src/vppinfra/pool.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/vppinfra/pool.c b/src/vppinfra/pool.c index ed04eb68e31..30848d55848 100644 --- a/src/vppinfra/pool.c +++ b/src/vppinfra/pool.c @@ -55,9 +55,7 @@ _pool_init_fixed (void **pool_ptr, u32 elt_size, u32 max_elts) ASSERT (elt_size); ASSERT (max_elts); - vector_size = pool_aligned_header_bytes + vec_header_bytes (0) - + (u64) elt_size *max_elts; - + vector_size = pool_aligned_header_bytes + (u64) elt_size *max_elts; free_index_size = vec_header_bytes (0) + sizeof (u32) * max_elts; /* Round up to a cache line boundary */ |