From dad1a84be4e9236267dd7c5393b56c60b3ed7875 Mon Sep 17 00:00:00 2001
From: Sam Lantinga <slouken@libsdl.org>
Date: Fri, 3 Nov 2023 14:56:15 -0700
Subject: [PATCH] Fixed building Vivante video driver

---
 src/video/vivante/SDL_vivantevulkan.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/video/vivante/SDL_vivantevulkan.h b/src/video/vivante/SDL_vivantevulkan.h
index a4bc784ab4..b39fd2b9f0 100644
--- a/src/video/vivante/SDL_vivantevulkan.h
+++ b/src/video/vivante/SDL_vivantevulkan.h
@@ -36,8 +36,7 @@
 int VIVANTE_Vulkan_LoadLibrary(SDL_VideoDevice *_this, const char *path);
 void VIVANTE_Vulkan_UnloadLibrary(SDL_VideoDevice *_this);
 char const* const* VIVANTE_Vulkan_GetInstanceExtensions(SDL_VideoDevice *_this,
-                                              unsigned *count,
-                                              const char **names);
+                                              Uint32 *count);
 SDL_bool VIVANTE_Vulkan_CreateSurface(SDL_VideoDevice *_this,
                                       SDL_Window *window,
                                       VkInstance instance,