diff options
author | Alon Levy <alevy@redhat.com> | 2012-03-11 18:11:27 +0200 |
---|---|---|
committer | Stefan Hajnoczi <stefanha@linux.vnet.ibm.com> | 2012-03-12 10:30:27 +0000 |
commit | 727500181a2b2470a676e021205d170ede23beb7 (patch) | |
tree | 2126cee8ad90f5ef1f2bddaea432f6d8d268931b | |
parent | cdbc19dd8d2fd32d9a96401aaaed0c19da7896ca (diff) |
vga: add trace event for ppm_save
Signed-off-by: Alon Levy <alevy@redhat.com>
Signed-off-by: Stefan Hajnoczi <stefanha@linux.vnet.ibm.com>
-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" |