C Specification
The VkDeviceFaultAddressInfoEXT
structure is defined as:
// Provided by VK_EXT_device_fault
typedef struct VkDeviceFaultAddressInfoEXT {
VkDeviceFaultAddressTypeEXT addressType;
VkDeviceAddress reportedAddress;
VkDeviceSize addressPrecision;
} VkDeviceFaultAddressInfoEXT;
Members
-
addressType
is either the type of memory operation that triggered a page fault, or the type of association between an instruction pointer and a fault. -
reportedAddress
is the GPU virtual address recorded by the device. -
addressPrecision
is a power of two value that specifies how precisely the device can report the address.
Description
The combination of reportedAddress
and addressPrecision
allow
the possible range of addresses to be calculated, such that:
lower_address = (pInfo->reportedAddress & ~(pInfo->addressPrecision-1))
upper_address = (pInfo->reportedAddress | (pInfo->addressPrecision-1))
Note
It is valid for the |
Document Notes
For more information, see the Vulkan Specification
This page is extracted from the Vulkan Specification. Fixes and changes should be made to the Specification, not directly.