C Specification

Bits which can be set in VkDeviceFaultInfoKHR::flags providing information of the status of the fault reported and which additional fields have been populated by the driver, are:

// Provided by VK_KHR_device_fault
typedef enum VkDeviceFaultFlagBitsKHR {
    VK_DEVICE_FAULT_FLAG_DEVICE_LOST_KHR = 0x00000001,
    VK_DEVICE_FAULT_FLAG_MEMORY_ADDRESS_KHR = 0x00000002,
    VK_DEVICE_FAULT_FLAG_INSTRUCTION_ADDRESS_KHR = 0x00000004,
    VK_DEVICE_FAULT_FLAG_VENDOR_KHR = 0x00000008,
    VK_DEVICE_FAULT_FLAG_WATCHDOG_TIMEOUT_KHR = 0x00000010,
    VK_DEVICE_FAULT_FLAG_OVERFLOW_KHR = 0x00000020,
} VkDeviceFaultFlagBitsKHR;

Description

See Also

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

SPDX-License-Identifier: CC-BY-4.0