VkDeviceFaultCountsEXT

The VkDeviceFaultCountsEXT structure is defined as:

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

pub struct DeviceFaultCountsEXT {
    s_type: vk::StructureType,
    p_next: *mut c_void,
    address_info_count: u32,
    vendor_info_count: u32,
    vendor_binary_size: vk::DeviceSize, // Specified in bytes
}

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