1// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry 2[[vkCmdWriteTimestamp,vkCmdWriteTimestamp]] 3[source,c++] 4---- 5void vkCmdWriteTimestamp( 6 VkCommandBuffer commandBuffer, 7 VkPipelineStageFlagBits pipelineStage, 8 VkQueryPool queryPool, 9 uint32_t query); 10---- 11