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