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