Searched refs:append_integer (Results 1 – 1 of 1) sorted by relevance
612 append_integer(unsigned int value) in append_integer() function694 append_integer(stopped_vcpu + 1); in report_stop()1511 append_integer(cur_vcpu + 1); in gdb_query()1533 append_integer(vcpu + 1); in gdb_query()