vppinfra: correct fixed pool header size calculation

Remove duplicate space allocation for the pool header. Not significant
w/ CLIB_CACHE_LINE_BYTES >= 64 since the code rounds the size of the
pool header to an even multiple of the cache line size.

Type: fix

Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: I923f2a60e7565cf2dfbc18d78264bf82ff30c926

diff --git a/src/vppinfra/pool.c b/src/vppinfra/pool.c
index ed04eb6..30848d5 100644 (file)
--- 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 */