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