VkDeviceFaultCountsEXT(3)

# VkDeviceFaultCountsEXT(3) Manual Page

## Name

VkDeviceFaultCountsEXT - Structure specifying device fault information

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

SPDX-License-Identifier: CC-BY-4.0