Searched refs:append_integer (Results 1 – 1 of 1) sorted by relevance
630 append_integer(unsigned int value) in append_integer() function712 append_integer(stopped_vcpu + 1); in report_stop()1589 append_integer(cur_vcpu + 1); in gdb_query()1611 append_integer(vcpu + 1); in gdb_query()