diff options
| author | Markus Armbruster <armbru@redhat.com> | 2019-04-17 21:17:51 +0200 |
|---|---|---|
| committer | Markus Armbruster <armbru@redhat.com> | 2019-04-18 22:18:59 +0200 |
| commit | d4c51a0af35f5a29da3d58e144f8352581a3f34e (patch) | |
| tree | cdf72a4b6f9c8397e83ab3f6b57c18ac7225304f /replay/replay-internal.h | |
| parent | ba4912cb0d6035192d58fbb4b901e8f39cfd0948 (diff) | |
tcg: Simplify how dump_opcount_info() prints
dump_opcount_info() takes an fprintf()-like callback and a FILE * to
pass to it.
Its only caller hmp_info_opcount() passes monitor_fprintf() and the
current monitor cast to FILE *. monitor_fprintf() casts it right
back, and is otherwise identical to monitor_printf(). The
type-punning is ugly.
Drop the callback, and call qemu_printf() instead.
Signed-off-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Dr. David Alan Gilbert <dgilbert@redhat.com>
Message-Id: <20190417191805.28198-4-armbru@redhat.com>
Diffstat (limited to 'replay/replay-internal.h')
0 files changed, 0 insertions, 0 deletions