1.1 --- a/src/video/vivante/SDL_vivanteplatform.c	Thu Oct 16 09:41:42 2014 -0300
     1.2 +++ b/src/video/vivante/SDL_vivanteplatform.c	Thu Oct 16 09:54:13 2014 -0700
     1.3 @@ -26,11 +26,17 @@
     1.4  
     1.5  #ifdef VIVANTE_PLATFORM_GENERIC
     1.6  
     1.7 -int VIVANTE_SetupPlatform(_THIS)
     1.8 +int
     1.9 +VIVANTE_SetupPlatform(_THIS)
    1.10  {
    1.11      return 0;
    1.12  }
    1.13  
    1.14 +void
    1.15 +VIVANTE_CleanupPlatform(_THIS)
    1.16 +{
    1.17 +}
    1.18 +
    1.19  #endif /* VIVANTE_PLATFORM_GENERIC */
    1.20  
    1.21  #endif /* SDL_VIDEO_DRIVER_VIVANTE */

     2.1 --- a/src/video/vivante/SDL_vivanteplatform.h	Thu Oct 16 09:41:42 2014 -0300
     2.2 +++ b/src/video/vivante/SDL_vivanteplatform.h	Thu Oct 16 09:54:13 2014 -0700
     2.3 @@ -36,6 +36,7 @@
     2.4  #endif
     2.5  
     2.6  extern int VIVANTE_SetupPlatform(_THIS);
     2.7 +extern void VIVANTE_CleanupPlatform(_THIS);
     2.8  
     2.9  #endif /* SDL_VIDEO_DRIVER_VIVANTE */
    2.10  

     3.1 --- a/src/video/vivante/SDL_vivantevideo.c	Thu Oct 16 09:41:42 2014 -0300
     3.2 +++ b/src/video/vivante/SDL_vivantevideo.c	Thu Oct 16 09:54:13 2014 -0700
     3.3 @@ -226,6 +226,8 @@
     3.4      SDL_EVDEV_Quit();
     3.5  #endif
     3.6  
     3.7 +    VIVANTE_CleanupPlatform(_this);
     3.8 +
     3.9  #if SDL_VIDEO_DRIVER_VIVANTE_VDK
    3.10      if (videodata->vdk_private) {
    3.11          vdkExit(videodata->vdk_private);