VkPhysicalDeviceFaultPropertiesKHR

The VkPhysicalDeviceFaultPropertiesKHR structure is defined as:

typedef struct VkPhysicalDeviceFaultPropertiesKHR {
    VkStructureType sType;
    void* pNext;
    uint32_t maxDeviceFaultCount;
} VkPhysicalDeviceFaultPropertiesKHR;

pub struct PhysicalDeviceFaultPropertiesKHR {
    s_type: vk::StructureType,
    p_next: *mut c_void,
    max_device_fault_count: u32,
}

The members of the VkPhysicalDeviceFaultPropertiesKHR structure describe the following:

• LIMITS MAXDEVICEFAULTCOUNT
  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.