Added a platform cleanup function for the Vivante video driver

src/video/vivante/SDL_vivanteplatform.c

@@ -26,11 +26,17 @@
 
 #ifdef VIVANTE_PLATFORM_GENERIC
 
-int VIVANTE_SetupPlatform(_THIS)
+int
+VIVANTE_SetupPlatform(_THIS)
 {
     return 0;
 }
 
+void
+VIVANTE_CleanupPlatform(_THIS)
+{
+}
+
 #endif /* VIVANTE_PLATFORM_GENERIC */
 
 #endif /* SDL_VIDEO_DRIVER_VIVANTE */

src/video/vivante/SDL_vivanteplatform.h

@@ -36,6 +36,7 @@
 #endif
 
 extern int VIVANTE_SetupPlatform(_THIS);
+extern void VIVANTE_CleanupPlatform(_THIS);
 
 #endif /* SDL_VIDEO_DRIVER_VIVANTE */
 

src/video/vivante/SDL_vivantevideo.c

@@ -226,6 +226,8 @@ VIVANTE_VideoQuit(_THIS)
     SDL_EVDEV_Quit();
 #endif
 
+    VIVANTE_CleanupPlatform(_this);
+
 #if SDL_VIDEO_DRIVER_VIVANTE_VDK
     if (videodata->vdk_private) {
         vdkExit(videodata->vdk_private);