diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2013-03-14 11:56:16 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2013-04-16 09:03:49 +0200 |
| commit | 0f7b2864d0d0c3ef2801f9214d8c510c80a220d1 (patch) | |
| tree | 2223119758f09c83a125f6335c483618910e8569 /trace-events | |
| parent | 380cd056ec0e7fc8bbd553cdcb061d3ca612bb82 (diff) | |
console: gui timer fixes
Make gui update rate adaption code in gui_update() actually work.
Sprinkle in a tracepoint so you can see the code at work. Remove
the update rate adaption code in vnc and make vnc simply use the
generic bits instead.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Diffstat (limited to 'trace-events')
| -rw-r--r-- | trace-events | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/trace-events b/trace-events index b08627b192..968edb6988 100644 --- a/trace-events +++ b/trace-events @@ -965,6 +965,7 @@ dma_map_wait(void *dbs) "dbs=%p" console_gfx_new(void) "" console_txt_new(int w, int h) "%dx%d" console_select(int nr) "%d" +console_refresh(int interval) "interval %d ms" displaysurface_create(void *display_surface, int w, int h) "surface=%p, %dx%d" displaysurface_create_from(void *display_surface, int w, int h, int bpp, int swap) "surface=%p, %dx%d, bpp %d, bswap %d" displaysurface_free(void *display_surface) "surface=%p" |