| // WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry | |
| [[vkCmdWriteTimestamp,vkCmdWriteTimestamp]] | |
| [source,c++] | |
| ---- | |
| void vkCmdWriteTimestamp( | |
| VkCommandBuffer commandBuffer, | |
| VkPipelineStageFlagBits pipelineStage, | |
| VkQueryPool queryPool, | |
| uint32_t query); | |
| ---- |