| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Vulkan.Extensions.VK_NV_device_diagnostic_checkpoints
Synopsis
- cmdSetCheckpointNV :: forall io. MonadIO io => CommandBuffer -> ("checkpointMarker" ::: Ptr ()) -> io ()
- getQueueCheckpointDataNV :: forall io. MonadIO io => Queue -> io ("checkpointData" ::: Vector CheckpointDataNV)
- data QueueFamilyCheckpointPropertiesNV = QueueFamilyCheckpointPropertiesNV {}
- data CheckpointDataNV = CheckpointDataNV {}
- type NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION = 2
- pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION :: forall a. Integral a => a
- type NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME = "VK_NV_device_diagnostic_checkpoints"
- pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a
Documentation
Arguments
| :: forall io. MonadIO io | |
| => CommandBuffer |
|
| -> ("checkpointMarker" ::: Ptr ()) |
|
| -> io () |
vkCmdSetCheckpointNV - insert diagnostic checkpoint in command stream
Valid Usage (Implicit)
commandBuffermust be a validCommandBufferhandle
commandBuffermust be in the recording state- The
CommandPoolthatcommandBufferwas allocated from must support graphics, compute, or transfer operations
Host Synchronization
- Host access to
commandBuffermust be externally synchronized
- Host access to the
CommandPoolthatcommandBufferwas allocated from must be externally synchronized
Command Properties
'
| Command Buffer Levels | Render Pass Scope | Supported Queue Types | Pipeline Type |
|---|---|---|---|
| Primary Secondary | Both | Graphics Compute Transfer |
See Also
getQueueCheckpointDataNV Source #
Arguments
| :: forall io. MonadIO io | |
| => Queue |
|
| -> io ("checkpointData" ::: Vector CheckpointDataNV) |
vkGetQueueCheckpointDataNV - retrieve diagnostic checkpoint data
Description
If pCheckpointData is NULL, then the number of checkpoint markers
available is returned in pCheckpointDataCount.
Otherwise, pCheckpointDataCount must point to a variable set by the
user to the number of elements in the pCheckpointData array, and on
return the variable is overwritten with the number of structures
actually written to pCheckpointData.
If pCheckpointDataCount is less than the number of checkpoint markers
available, at most pCheckpointDataCount structures will be written.
Valid Usage
- The device that
queuebelongs to must be in the lost state
Valid Usage (Implicit)
queuemust be a validQueuehandle
pCheckpointDataCountmust be a valid pointer to auint32_tvalue- If the value referenced by
pCheckpointDataCountis not0, andpCheckpointDatais notNULL,pCheckpointDatamust be a valid pointer to an array ofpCheckpointDataCountCheckpointDataNVstructures
See Also
data QueueFamilyCheckpointPropertiesNV Source #
VkQueueFamilyCheckpointPropertiesNV - return structure for queue family checkpoint info query
Valid Usage (Implicit)
See Also
Constructors
| QueueFamilyCheckpointPropertiesNV | |
Fields
| |
Instances
data CheckpointDataNV Source #
VkCheckpointDataNV - return structure for command buffer checkpoint data
Description
The stages at which a checkpoint marker can be executed are
implementation-defined and can be queried by calling
getPhysicalDeviceQueueFamilyProperties2.
Valid Usage (Implicit)
See Also
PipelineStageFlagBits,
StructureType,
getQueueCheckpointDataNV
Constructors
| CheckpointDataNV | |
Fields
| |
Instances
pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_SPEC_VERSION :: forall a. Integral a => a Source #
type NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME = "VK_NV_device_diagnostic_checkpoints" Source #
pattern NV_DEVICE_DIAGNOSTIC_CHECKPOINTS_EXTENSION_NAME :: forall a. (Eq a, IsString a) => a Source #