tree fd556593881881af1071c59852a5d0f836775844
parent 1f3112e71644e69ad8a8498e56eab766b0fd5088
author Christian Hopps <chopps@labn.net> 1594655847 -0400
committer Dave Barach <openvpp@barachs.net> 1607605167 +0000

misc: add a couple useful functions for gdb

- vgb() (vlib_get_buffer)
- ph() (pool_header)

Type: feature
Signed-off-by: Christian Hopps <chopps@labn.net>
Change-Id: Ica954480a7809c918cf65b06a0333ebe246a6f3a