| // WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry | |
| [[vkDestroySemaphore,vkDestroySemaphore]] | |
| [source,c++] | |
| ---- | |
| void vkDestroySemaphore( | |
| VkDevice device, | |
| VkSemaphore semaphore, | |
| const VkAllocationCallbacks* pAllocator); | |
| ---- |