diff options
| author |   Christian Hopps <chopps@labn.net> | 2020-07-13 11:57:27 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-12-10 12:59:27 +0000 |
| commit | b71653e9a82d21169a7b3ee770dd2c2e86eba80e (patch) | |
| tree | fd556593881881af1071c59852a5d0f836775844 /extras/configs | |
| parent | 1f3112e71644e69ad8a8498e56eab766b0fd5088 (diff) | |
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
Diffstat (limited to 'extras/configs')
0 files changed, 0 insertions, 0 deletions