diff options
Diffstat (limited to 'trace-events')
| -rw-r--r-- | trace-events | 3 |
1 files changed, 3 insertions, 0 deletions
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" |