do_batch 218 tools/bpf/bpftool/main.c static int do_batch(int argc, char **argv); do_batch 222 tools/bpf/bpftool/main.c { "batch", do_batch },