1// WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry 2.Valid Usage (Implicit) 3**** 4* [[VUID-vkDestroyDevice-device-parameter]] If pname:device is not `NULL`, pname:device must: be a valid sname:VkDevice handle 5* [[VUID-vkDestroyDevice-pAllocator-parameter]] If pname:pAllocator is not `NULL`, pname:pAllocator must: be a valid pointer to a valid sname:VkAllocationCallbacks structure 6**** 7 8.Host Synchronization 9**** 10* Host access to pname:device must: be externally synchronized 11**** 12 13