Searched refs:append_integer (Results 1 – 1 of 1) sorted by relevance
717 append_integer(unsigned int value) in append_integer() function799 append_integer(stopped_vcpu + 1); in report_stop()1735 append_integer(cur_vcpu + 1); in gdb_query()1757 append_integer(vcpu + 1); in gdb_query()