// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[vkGetDeviceQueue,vkGetDeviceQueue]]
[source,c++]
----
void vkGetDeviceQueue(
    VkDevice                                    device,
    uint32_t                                    queueFamilyIndex,
    uint32_t                                    queueIndex,
    VkQueue*                                    pQueue);
----
