* Markus Armbruster (arm...@redhat.com) wrote:
> dump_exec_info() takes an fprintf()-like callback and a FILE * to pass
> to it.
>
> Its only caller hmp_info_jit() passes monitor_fprintf() and the
> current monitor cast to FILE *. monitor_fprintf() casts it right
> back, and is otherwise identica
dump_exec_info() takes an fprintf()-like callback and a FILE * to pass
to it.
Its only caller hmp_info_jit() 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
