C Specification

The VkPhysicalDeviceFaultPropertiesKHR structure is defined as:

// Provided by VK_KHR_device_fault
typedef struct VkPhysicalDeviceFaultPropertiesKHR {
    VkStructureType    sType;
    void*              pNext;
    uint32_t           maxDeviceFaultCount;
} VkPhysicalDeviceFaultPropertiesKHR;

Members

The members of the VkPhysicalDeviceFaultPropertiesKHR structure describe the following:

Description

  • maxDeviceFaultCount is the maximum number of instances of VkDeviceFaultInfoKHR that will be retained by the implementation. This must be greater than or equal to 1. If the application does not retrieve fault reports and overflow occurs, the oldest fault reports will be overwritten by the most recent record.

If the VkPhysicalDeviceFaultPropertiesKHR structure is included in the pNext chain of the VkPhysicalDeviceProperties2 structure passed to vkGetPhysicalDeviceProperties2, it is filled in with each corresponding implementation-dependent property.

Valid Usage (Implicit)
Structure Chaining
Extends the structure

See Also

VK_KHR_device_fault, VkStructureType

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-2026 The Khronos Group Inc.

SPDX-License-Identifier: CC-BY-4.0