// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry
.Valid Usage (Implicit)
****
* [[VUID-vkGetPhysicalDeviceExternalSemaphoreProperties-physicalDevice-parameter]] pname:physicalDevice must: be a valid sname:VkPhysicalDevice handle
* [[VUID-vkGetPhysicalDeviceExternalSemaphoreProperties-pExternalSemaphoreInfo-parameter]] pname:pExternalSemaphoreInfo must: be a valid pointer to a valid sname:VkPhysicalDeviceExternalSemaphoreInfo structure
* [[VUID-vkGetPhysicalDeviceExternalSemaphoreProperties-pExternalSemaphoreProperties-parameter]] pname:pExternalSemaphoreProperties must: be a valid pointer to a sname:VkExternalSemaphoreProperties structure
****