+u32
+vbi (vlib_buffer_t * b)
+{
+ vlib_main_t *vm = vlib_get_main ();
+ vlib_buffer_main_t *bm = vm->buffer_main;
+ u32 bi = pointer_to_uword (b) - bm->buffer_mem_start;
+ bi >>= CLIB_LOG2_CACHE_LINE_BYTES;
+ return bi;
+}
+
+int
+gdb_validate_buffer (vlib_buffer_t * b)
+{
+ vlib_main_t *vm = vlib_get_main ();
+ u32 bi = vbi (b);
+ u8 *s =
+ vlib_validate_buffers (vm, &bi, 0, 1, VLIB_BUFFER_KNOWN_ALLOCATED, 1);
+ if (s)
+ {
+ fformat (stderr, "gdb_validate_buffer(): %v", s);
+ return -1;
+ }
+ fformat (stderr, "gdb_validate_buffer(): no error found\n");
+ return 0;
+}