diff options
| -rw-r--r-- | hw/vga.c | 2 | ||||
| -rw-r--r-- | trace-events | 3 |
2 files changed, 5 insertions, 0 deletions
@@ -30,6 +30,7 @@ #include "pixel_ops.h" #include "qemu-timer.h" #include "xen.h" +#include "trace.h" //#define DEBUG_VGA //#define DEBUG_VGA_MEM @@ -2372,6 +2373,7 @@ int ppm_save(const char *filename, struct DisplaySurface *ds) int ret; char *linebuf, *pbuf; + trace_ppm_save(filename, ds); f = fopen(filename, "wb"); if (!f) return -1; diff --git a/trace-events b/trace-events index 94c4a6fb5c..dfe28ed42b 100644 --- a/trace-events +++ b/trace-events @@ -662,3 +662,6 @@ dma_map_wait(void *dbs) "dbs=%p" # console.h displaysurface_free(void *display_state, void *display_surface) "state=%p surface=%p" displaysurface_resize(void *display_state, void *display_surface, int width, int height) "state=%p surface=%p %dx%d" + +# vga.c +ppm_save(const char *filename, void *display_surface) "%s surface=%p" |