VkDeviceFaultVendorBinaryHeaderVersionKHR(3) Manual Page

// Provided by VK_KHR_device_fault
typedef enum VkDeviceFaultVendorBinaryHeaderVersionKHR {
    VK_DEVICE_FAULT_VENDOR_BINARY_HEADER_VERSION_ONE_KHR = 1,
    VK_DEVICE_FAULT_VENDOR_BINARY_HEADER_VERSION_ONE_EXT = VK_DEVICE_FAULT_VENDOR_BINARY_HEADER_VERSION_ONE_KHR,
} VkDeviceFaultVendorBinaryHeaderVersionKHR;

// Provided by VK_EXT_device_fault
// Equivalent to VkDeviceFaultVendorBinaryHeaderVersionKHR
typedef VkDeviceFaultVendorBinaryHeaderVersionKHR VkDeviceFaultVendorBinaryHeaderVersionEXT;