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