Symbol: append_integer
usr/src/cmd/bhyve/common/gdb.c
1511
append_integer(cur_vcpu + 1);
usr/src/cmd/bhyve/common/gdb.c
1533
append_integer(vcpu + 1);
usr/src/cmd/bhyve/common/gdb.c
694
append_integer(stopped_vcpu + 1);