vppinfra: correct fixed pool header size calculation 99/25399/2
authorDave Barach <dave@barachs.net>
Mon, 24 Feb 2020 14:19:12 +0000 (09:19 -0500)
committerDamjan Marion <dmarion@me.com>
Mon, 24 Feb 2020 15:47:07 +0000 (15:47 +0000)
commit6e495ce428e110665ee9616e0951015963502cac
treeb252a7da46fa2a0ed01d673fbc983fcc9546b24a
parente98d71b07eac32e07597e0a3c3c5f7ccd4c27ba9
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
src/vppinfra/pool.c