| // WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry |
| .Valid Usage (Implicit) |
| **** |
| * [[VUID-vkDestroyBufferView-device-parameter]] pname:device must: be a valid sname:VkDevice handle |
| * [[VUID-vkDestroyBufferView-bufferView-parameter]] If pname:bufferView is not dlink:VK_NULL_HANDLE, pname:bufferView must: be a valid sname:VkBufferView handle |
| * [[VUID-vkDestroyBufferView-pAllocator-parameter]] If pname:pAllocator is not `NULL`, pname:pAllocator must: be a valid pointer to a valid sname:VkAllocationCallbacks structure |
| * [[VUID-vkDestroyBufferView-bufferView-parent]] If pname:bufferView is a valid handle, it must: have been created, allocated, or retrieved from pname:device |
| **** |
| |
| .Host Synchronization |
| **** |
| * Host access to pname:bufferView must: be externally synchronized |
| **** |
| |
