Commit 72750018 authored by Alon Levy's avatar Alon Levy Committed by Stefan Hajnoczi
Browse files

vga: add trace event for ppm_save 



Signed-off-by: default avatarAlon Levy <alevy@redhat.com>
Signed-off-by: default avatarStefan Hajnoczi <stefanha@linux.vnet.ibm.com>
parent cdbc19dd

hw/vga.c

+2 −0
Original line number Diff line number Diff line
@@ -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;

trace-events

+3 −0
Original line number Diff line number Diff line
@@ -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"