Re: [PATCH 05/10] drm: make drm_vblank_count_and_time() static