C Specification

The VkDeviceFaultCountsEXT structure is defined as:

// Provided by VK_EXT_device_fault
typedef struct VkDeviceFaultCountsEXT {
    VkStructureType    sType;
    void*              pNext;
    uint32_t           addressInfoCount;
    uint32_t           vendorInfoCount;
    VkDeviceSize       vendorBinarySize;
} VkDeviceFaultCountsEXT;

Members

  • sType is a VkStructureType value identifying this structure.

  • pNext is NULL or a pointer to a structure extending this structure.

  • addressInfoCount is the number of VkDeviceFaultAddressInfoEXT structures describing either memory accesses which may have caused a page fault, or the addresses of active instructions at the time of the fault.

  • vendorInfoCount is the number of VkDeviceFaultVendorInfoEXT structures describing vendor-specific fault information.

  • vendorBinarySize is the size in bytes of a vendor-specific binary crash dump, which may provide additional information when imported into external tools.

Description

Valid Usage (Implicit)

  • VUID-VkDeviceFaultCountsEXT-sType-sType
    sType must be VK_STRUCTURE_TYPE_DEVICE_FAULT_COUNTS_EXT

  • VUID-VkDeviceFaultCountsEXT-pNext-pNext
    pNext must be NULL

See Also

VK_EXT_device_fault, VkDeviceSize, VkStructureType, vkGetDeviceFaultInfoEXT

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.

Copyright

Copyright 2014-2024 The Khronos Group Inc.

SPDX-License-Identifier: CC-BY-4.0