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]>

diff --git a/src/vppinfra/pool.h b/src/vppinfra/pool.h
index d73a978..7d95e6c 100644 (file)
--- a/src/vppinfra/pool.h
+++ b/src/vppinfra/pool.h
@@ -61,6 +61,8 @@ typedef struct
   /** Maximum size of the pool, in elements */
   u32 max_elts;
 
+  /** Unsed by pool, can be used as opaque storage by consumers */
+  u32 opaque;
 } pool_header_t;
 
 /** Get pool header from user pool pointer */