Searched refs:append_integer (Results 1 – 1 of 1) sorted by relevance
553 append_integer(unsigned int value) in append_integer() function624 append_integer(stopped_vcpu + 1); in report_stop()890 append_integer(cur_vcpu + 1); in gdb_query()912 append_integer(vcpu + 1); in gdb_query()