diff --git a/include/vulkan/vulkan.h b/include/vulkan/vulkan.h
index 07947d63aeb..72d20dbeb52 100644
--- a/include/vulkan/vulkan.h
+++ b/include/vulkan/vulkan.h
@@ -2019,6 +2019,7 @@ typedef VkResult (VKAPI *PFN_vkDestroySemaphore)(VkDevice device, VkSemaphore se
 typedef VkResult (VKAPI *PFN_vkQueueSignalSemaphore)(VkQueue queue, VkSemaphore semaphore);
 typedef VkResult (VKAPI *PFN_vkQueueWaitSemaphore)(VkQueue queue, VkSemaphore semaphore);
 typedef VkResult (VKAPI *PFN_vkCreateEvent)(VkDevice device, const VkEventCreateInfo* pCreateInfo, VkEvent* pEvent);
+typedef VkResult (VKAPI *PFN_vkDestroyEvent)(VkDevice device, VkEvent event);
 typedef VkResult (VKAPI *PFN_vkGetEventStatus)(VkDevice device, VkEvent event);
 typedef VkResult (VKAPI *PFN_vkSetEvent)(VkDevice device, VkEvent event);
 typedef VkResult (VKAPI *PFN_vkResetEvent)(VkDevice device, VkEvent event);
@@ -2305,6 +2306,10 @@ VkResult VKAPI vkCreateEvent(
     const VkEventCreateInfo*                    pCreateInfo,
     VkEvent*                                    pEvent);
 
+VkResult VKAPI vkDestroyEvent(
+    VkDevice                                    device,
+    VkEvent                                     event);
+
 VkResult VKAPI vkGetEventStatus(
     VkDevice                                    device,
     VkEvent                                     event);
diff --git a/src/vulkan/device.c b/src/vulkan/device.c
index 08d7e9f146c..133ffda3926 100644
--- a/src/vulkan/device.c
+++ b/src/vulkan/device.c
@@ -1536,6 +1536,13 @@ VkResult anv_CreateEvent(
    stub_return(VK_UNSUPPORTED);
 }
 
+VkResult anv_DestroyEvent(
+    VkDevice                                    device,
+    VkEvent                                     event)
+{
+   stub_return(VK_UNSUPPORTED);
+}
+
 VkResult anv_GetEventStatus(
     VkDevice                                    device,
     VkEvent                                     event)