add render timer API

Based on five calls:
wlr_render_timer_create - creates a timer which can be reused across
  frames on the same renderer
wlr_renderer_begin_buffer_pass - now takes a timer so that backends can
  record when the rendering starts and finishes
wlr_render_timer_get_time - should be called as late as possible so that
  queries can make their way back from the GPU
wlr_render_timer_destroy - self-explanatory

The timer is exposed as an opaque `struct wlr_render_timer` so that
backends can store whatever they want in there.

1 files changed, 1 insertions, 1 deletions

diff --git a/render/pixman/renderer.c b/render/pixman/renderer.c
index 2ada4cdb..821bb9f5 100644
--- a/render/pixman/renderer.c
+++ b/render/pixman/renderer.c
@@ -494,7 +494,7 @@ static uint32_t pixman_get_render_buffer_caps(struct wlr_renderer *renderer) {
 }
 
 static struct wlr_render_pass *pixman_begin_buffer_pass(struct wlr_renderer *wlr_renderer,
-		struct wlr_buffer *wlr_buffer) {
+		struct wlr_buffer *wlr_buffer, struct wlr_buffer_pass_options *options) {
 	struct wlr_pixman_renderer *renderer = get_renderer(wlr_renderer);
 
 	struct wlr_pixman_buffer *buffer = get_buffer(renderer, wlr_buffer);