Searched refs:append_integer (Results 1 – 1 of 1) sorted by relevance
596 append_integer(unsigned int value) in append_integer() function678 append_integer(stopped_vcpu + 1); in report_stop()1447 append_integer(cur_vcpu + 1); in gdb_query()1469 append_integer(vcpu + 1); in gdb_query()