vppinfra: correct fixed pool header size calculation 12/26212/2
authorDave Barach <dave@barachs.net>
Mon, 24 Feb 2020 14:19:12 +0000 (09:19 -0500)
committerAndrew Yourtchenko <ayourtch@gmail.com>
Mon, 30 Mar 2020 13:56:42 +0000 (13:56 +0000)
commit1453c47a45000097e8c50664f2f2542659ab5d2b
tree8eccc9c282a04ebe2167ac058d002ea10ce813f1
parenta42f9a54231526f0cba42d590917a51eab6529e1
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
(cherry picked from commit 6e495ce428e110665ee9616e0951015963502cac)
src/vppinfra/pool.c