| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Graphics.Vulkan.Core11.Promoted_From_VK_KHR_protected_memory
- pattern VK_STRUCTURE_TYPE_PROTECTED_SUBMIT_INFO :: VkStructureType
- pattern VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_PROTECTED_MEMORY_FEATURES :: VkStructureType
- pattern VK_STRUCTURE_TYPE_PHYSICAL_DEVICE_PROTECTED_MEMORY_PROPERTIES :: VkStructureType
- pattern VK_STRUCTURE_TYPE_DEVICE_QUEUE_INFO_2 :: VkStructureType
- pattern VK_DEVICE_QUEUE_CREATE_PROTECTED_BIT :: VkDeviceQueueCreateFlagBits
- pattern VK_QUEUE_PROTECTED_BIT :: VkQueueFlagBits
- pattern VK_MEMORY_PROPERTY_PROTECTED_BIT :: VkMemoryPropertyFlagBits
- pattern VK_BUFFER_CREATE_PROTECTED_BIT :: VkBufferCreateFlagBits
- pattern VK_IMAGE_CREATE_PROTECTED_BIT :: VkImageCreateFlagBits
- pattern VK_COMMAND_POOL_CREATE_PROTECTED_BIT :: VkCommandPoolCreateFlagBits
- vkGetDeviceQueue2 :: ("device" ::: VkDevice) -> ("pQueueInfo" ::: Ptr VkDeviceQueueInfo2) -> ("pQueue" ::: Ptr VkQueue) -> IO ()
- data VkProtectedSubmitInfo = VkProtectedSubmitInfo {
- vkSType :: VkStructureType
- vkPNext :: Ptr ()
- vkProtectedSubmit :: VkBool32
- data VkPhysicalDeviceProtectedMemoryFeatures = VkPhysicalDeviceProtectedMemoryFeatures {
- vkSType :: VkStructureType
- vkPNext :: Ptr ()
- vkProtectedMemory :: VkBool32
- data VkPhysicalDeviceProtectedMemoryProperties = VkPhysicalDeviceProtectedMemoryProperties {
- vkSType :: VkStructureType
- vkPNext :: Ptr ()
- vkProtectedNoFault :: VkBool32
- data VkDeviceQueueInfo2 = VkDeviceQueueInfo2 {}
Documentation
pattern VK_DEVICE_QUEUE_CREATE_PROTECTED_BIT :: VkDeviceQueueCreateFlagBits Source #
VK_DEVICE_QUEUE_CREATE_PROTECTED_BIT specifies that the device queue
is a protected-capable queue. If the protected memory feature is not
enabled, the VK_DEVICE_QUEUE_CREATE_PROTECTED_BIT bit of flags
must not be set.
pattern VK_QUEUE_PROTECTED_BIT :: VkQueueFlagBits Source #
vkGetDeviceQueue2 :: ("device" ::: VkDevice) -> ("pQueueInfo" ::: Ptr VkDeviceQueueInfo2) -> ("pQueue" ::: Ptr VkQueue) -> IO () Source #
vkGetDeviceQueue2 - Get a queue handle from a device
Parameters
deviceis the logical device that owns the queue.
pQueueInfopoints to an instance of theVkDeviceQueueInfo2structure, describing the parameters used to create the device queue.pQueueis a pointer to aVkQueueobject that will be filled with the handle for the requested queue.
Description
Valid Usage (Implicit)
devicemust be a validVkDevicehandle
pQueueInfomust be a valid pointer to a validVkDeviceQueueInfo2structurepQueuemust be a valid pointer to aVkQueuehandle
See Also
data VkProtectedSubmitInfo Source #
VkProtectedSubmitInfo - Structure indicating whether the submission is protected
Description
Valid Usage
- If the protected memory feature is not enabled,
protectedSubmitmust not beVK_TRUE.
- If
protectedSubmitisVK_TRUE, then each element of thepCommandBuffersarray must be a protected command buffer. - If
protectedSubmitisVK_FALSE, then each element of thepCommandBuffersarray must be an unprotected command buffer. - If the
VkSubmitInfo::pNextchain does not include aVkProtectedSubmitInfostructure, then each element of the command buffer of thepCommandBuffersarray must be an unprotected command buffer.
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_PROTECTED_SUBMIT_INFO
See Also
VkBool32, VkStructureType
Constructors
| VkProtectedSubmitInfo | |
Fields
| |
data VkPhysicalDeviceProtectedMemoryFeatures Source #
VkPhysicalDeviceProtectedMemoryFeatures - Structure describing protected memory features that can be supported by an implementation
Description
If the VkPhysicalDeviceProtectedMemoryFeatures structure is included
in the pNext chain of
VkPhysicalDeviceFeatures2,
it is filled with a value indicating whether the feature is supported.
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_PHYSICAL_DEVICE_PROTECTED_MEMORY_FEATURES
See Also
VkBool32, VkStructureType
Constructors
| VkPhysicalDeviceProtectedMemoryFeatures | |
Fields
| |
data VkPhysicalDeviceProtectedMemoryProperties Source #
VkPhysicalDeviceProtectedMemoryProperties - Structure describing protected memory properties that can be supported by an implementation
Description
If the VkPhysicalDeviceProtectedMemoryProperties structure is included
in the pNext chain of
VkPhysicalDeviceProperties2,
it is filled with a value indicating the implementation-dependent
behavior.
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_PHYSICAL_DEVICE_PROTECTED_MEMORY_PROPERTIES
See Also
VkBool32, VkStructureType
Constructors
| VkPhysicalDeviceProtectedMemoryProperties | |
Fields
| |
data VkDeviceQueueInfo2 Source #
VkDeviceQueueInfo2 - Structure specifying the parameters used for device queue creation
Description
The queue returned by vkGetDeviceQueue2 must have the same flags
value from this structure as that used at device creation time in a
VkDeviceQueueCreateInfo instance. If no matching flags were
specified at device creation time then pQueue will return
VK_NULL_HANDLE.
Valid Usage
queueFamilyIndexmust be one of the queue family indices specified whendevicewas created, via theVkDeviceQueueCreateInfostructure
queueIndexmust be less than the number of queues created for the specified queue family index andVkDeviceQueueCreateFlagsmemberflagsequal to thisflagsvalue whendevicewas created, via thequeueCountmember of theVkDeviceQueueCreateInfostructure
Valid Usage (Implicit)
sTypemust beVK_STRUCTURE_TYPE_DEVICE_QUEUE_INFO_2
pNextmust beNULLflagsmust be a valid combination ofVkDeviceQueueCreateFlagBitsvaluesflagsmust not be0
See Also
VkDeviceQueueCreateFlags,
VkStructureType, vkGetDeviceQueue2
Constructors
| VkDeviceQueueInfo2 | |
Fields
| |