// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
[[vkCmdSetDeviceMask,vkCmdSetDeviceMask]]
[source,c++]
----
void vkCmdSetDeviceMask(
    VkCommandBuffer                             commandBuffer,
    uint32_t                                    deviceMask);
----
