From 38f94e21c0e4a8dc8ba90da6df9524bff65b482c Mon Sep 17 00:00:00 2001
From: Sam Lantinga <slouken@libsdl.org>
Date: Thu, 16 Oct 2014 09:54:13 -0700
Subject: [PATCH] Added a platform cleanup function for the Vivante video
 driver

---
 src/video/vivante/SDL_vivanteplatform.c | 8 +++++++-
 src/video/vivante/SDL_vivanteplatform.h | 1 +
 src/video/vivante/SDL_vivantevideo.c    | 2 ++
 3 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/video/vivante/SDL_vivanteplatform.c b/src/video/vivante/SDL_vivanteplatform.c
index bce7a5f1f..a779d64ca 100644
--- a/src/video/vivante/SDL_vivanteplatform.c
+++ b/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 */
diff --git a/src/video/vivante/SDL_vivanteplatform.h b/src/video/vivante/SDL_vivanteplatform.h
index 9b814b789..27b82afd5 100644
--- a/src/video/vivante/SDL_vivanteplatform.h
+++ b/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 */
 
diff --git a/src/video/vivante/SDL_vivantevideo.c b/src/video/vivante/SDL_vivantevideo.c
index d378aa471..5ae3f981e 100644
--- a/src/video/vivante/SDL_vivantevideo.c
+++ b/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);