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