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
-
addressTypeis either the type of memory operation that triggered a page fault, or the type of association between an instruction pointer and a fault. -
reportedAddressis the GPU virtual address recorded by the device. -
addressPrecisionis 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.