Symbol: gdb_end_write
sys/amd64/include/gdb_machdep.h
72
void gdb_end_write(void *);
sys/gdb/gdb_packet.c
205
gdb_end_write(wctx);