From 727500181a2b2470a676e021205d170ede23beb7 Mon Sep 17 00:00:00 2001 From: Alon Levy Date: Sun, 11 Mar 2012 18:11:27 +0200 Subject: [PATCH] vga: add trace event for ppm_save Signed-off-by: Alon Levy Signed-off-by: Stefan Hajnoczi --- hw/vga.c | 2 ++ trace-events | 3 +++ 2 files changed, 5 insertions(+) diff --git a/hw/vga.c b/hw/vga.c index 5994f43b75..6dc98f6c2a 100644 --- a/hw/vga.c +++ b/hw/vga.c @@ -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"