Re: [PATCH 13/15] vmwgfx: Add a get_vblank_counter function