vppinfra: name the unused u32 in pool header 63/43863/3
authorFlorin Coras <[email protected]>
Thu, 9 Oct 2025 01:20:26 +0000 (21:20 -0400)
committerFlorin Coras <[email protected]>
Thu, 9 Oct 2025 01:23:25 +0000 (01:23 +0000)
commitd4f61db6f01be26e25b5eb599792fe5ab94e0c8a
treec2876ff4257c2fa335a8901fd8d4cc0f2fe62b3f
parenta14056aeb60e5f3af4a8ca01933ab07dd93b5e67
vppinfra: name the unused u32 in pool header

Allow pool consumers to potentially use the unused u32 in pool_header_t.

Type: improvement

Change-Id: Ie5cc65fff4a41b0a3fa232bf4040e59d8354eae8
Signed-off-by: Florin Coras <[email protected]>
src/vppinfra/pool.h