// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[vkFreeCommandBuffers,vkFreeCommandBuffers]]
[source,c++]
----
void vkFreeCommandBuffers(
    VkDevice                                    device,
    VkCommandPool                               commandPool,
    uint32_t                                    commandBufferCount,
    const VkCommandBuffer*                      pCommandBuffers);
----
