// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[vkDeviceWaitIdle,vkDeviceWaitIdle]]
[source,c++]
----
VkResult vkDeviceWaitIdle(
    VkDevice                                    device);
----
