| // WARNING: DO NOT MODIFY! This file is automatically generated from the vk.xml registry | |
| .Valid Usage (Implicit) | |
| **** | |
| * [[VUID-VkMappedMemoryRange-sType-sType]] pname:sType must: be ename:VK_STRUCTURE_TYPE_MAPPED_MEMORY_RANGE | |
| * [[VUID-VkMappedMemoryRange-pNext-pNext]] pname:pNext must: be `NULL` | |
| * [[VUID-VkMappedMemoryRange-memory-parameter]] pname:memory must: be a valid sname:VkDeviceMemory handle | |
| **** | |