1// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
2[[vkDestroyEvent,vkDestroyEvent]]
3[source,c++]
4----
5void vkDestroyEvent(
6 VkDevice device,
7 VkEvent event,
8 const VkAllocationCallbacks* pAllocator);
9----
10