Structures

VkDeviceAddressRangeEXT

Structure specifying a device address range

A device address range indicates a sized range of device memory.

typedef struct VkDeviceAddressRangeEXT {
    VkDeviceAddress address;
    VkDeviceSize size;
} VkDeviceAddressRangeEXT;

Valid Usage

VUID-VkDeviceAddressRangeEXT-size-11411

If size is not 0, address must not be 0

VUID-VkDeviceAddressRangeEXT-address-11365

The sum of address and size must be less than or equal to the sum of an address retrieved from a VkBuffer and the value of VkBufferCreateInfo::size used to create that VkBuffer

Valid Usage (Implicit)

VUID-VkDeviceAddressRangeEXT-address-parameter

If address is not 0, address must be a valid VkDeviceAddress value