1.1 --- a/src/video/vivante/SDL_vivantevideo.c	Thu Oct 16 09:41:42 2014 -0300
     1.2 +++ b/src/video/vivante/SDL_vivantevideo.c	Thu Oct 16 09:54:13 2014 -0700
     1.3 @@ -226,6 +226,8 @@
     1.4      SDL_EVDEV_Quit();
     1.5  #endif
     1.6  
     1.7 +    VIVANTE_CleanupPlatform(_this);
     1.8 +
     1.9  #if SDL_VIDEO_DRIVER_VIVANTE_VDK
    1.10      if (videodata->vdk_private) {
    1.11          vdkExit(videodata->vdk_private);