content: {-# language CPP #-}
  -- | = Name
  --
  -- VK_ANDROID_external_memory_android_hardware_buffer - device extension
  --
  -- == VK_ANDROID_external_memory_android_hardware_buffer
  --
  -- [__Name String__]
  --     @VK_ANDROID_external_memory_android_hardware_buffer@
  --
  -- [__Extension Type__]
  --     Device extension
  --
  -- [__Registered Extension Number__]
  --     130
  --
  -- [__Revision__]
  --     5
  --
  -- [__Ratification Status__]
  --     Not ratified
  --
  -- [__Extension and Version Dependencies__]
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_sampler_ycbcr_conversion VK_KHR_sampler_ycbcr_conversion>
  --     and
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_external_memory VK_KHR_external_memory>
  --     and
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_EXT_queue_family_foreign VK_EXT_queue_family_foreign>
  --     and
  --     <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_dedicated_allocation VK_KHR_dedicated_allocation>
  --
  -- [__API Interactions__]
  --
  --     -   Interacts with VK_KHR_format_feature_flags2
  --
  -- [__Contact__]
  --
  --     -   Jesse Hall
  --         <https://github.com/KhronosGroup/Vulkan-Docs/issues/new?body=[VK_ANDROID_external_memory_android_hardware_buffer] @critsec%0A*Here describe the issue or question you have about the VK_ANDROID_external_memory_android_hardware_buffer extension* >
  --
  -- == Other Extension Metadata
  --
  -- [__Last Modified Date__]
  --     2021-09-30
  --
  -- [__IP Status__]
  --     No known IP claims.
  --
  -- [__Contributors__]
  --
  --     -   Ray Smith, ARM
  --
  --     -   Lina Versace, Google
  --
  --     -   Jesse Hall, Google
  --
  --     -   Tobias Hector, Imagination
  --
  --     -   James Jones, NVIDIA
  --
  --     -   Tony Zlatinski, NVIDIA
  --
  --     -   Matthew Netsch, Qualcomm
  --
  --     -   Andrew Garrard, Samsung
  --
  -- == Description
  --
  -- This extension enables an application to import Android
  -- 'AHardwareBuffer' objects created outside of the Vulkan device into
  -- Vulkan memory objects, where they /can/ be bound to images and buffers.
  -- It also allows exporting an 'AHardwareBuffer' from a Vulkan memory
  -- object for symmetry with other operating systems. But since not all
  -- 'AHardwareBuffer' usages and formats have Vulkan equivalents, exporting
  -- from Vulkan provides strictly less functionality than creating the
  -- 'AHardwareBuffer' externally and importing it.
  --
  -- Some 'AHardwareBuffer' images have implementation-defined /external
  -- formats/ that /may/ not correspond to Vulkan formats. Sampler Y′CBCR
  -- conversion /can/ be used to sample from these images and convert them to
  -- a known color space.
  --
  -- == New Base Types
  --
  -- -   'AHardwareBuffer'
  --
  -- == New Commands
  --
  -- -   'getAndroidHardwareBufferPropertiesANDROID'
  --
  -- -   'getMemoryAndroidHardwareBufferANDROID'
  --
  -- == New Structures
  --
  -- -   'AndroidHardwareBufferPropertiesANDROID'
  --
  -- -   'MemoryGetAndroidHardwareBufferInfoANDROID'
  --
  -- -   Extending 'AndroidHardwareBufferPropertiesANDROID':
  --
  --     -   'AndroidHardwareBufferFormatPropertiesANDROID'
  --
  -- -   Extending 'Vulkan.Core10.Image.ImageCreateInfo',
  --     'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo',
  --     'Vulkan.Core12.Promoted_From_VK_KHR_create_renderpass2.AttachmentDescription2',
  --     'Vulkan.Core10.Pipeline.GraphicsPipelineCreateInfo',
  --     'Vulkan.Core10.CommandBuffer.CommandBufferInheritanceInfo':
  --
  --     -   'ExternalFormatANDROID'
  --
  -- -   Extending
  --     'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.ImageFormatProperties2':
  --
  --     -   'AndroidHardwareBufferUsageANDROID'
  --
  -- -   Extending 'Vulkan.Core10.Memory.MemoryAllocateInfo':
  --
  --     -   'ImportAndroidHardwareBufferInfoANDROID'
  --
  -- If
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_format_feature_flags2 VK_KHR_format_feature_flags2>
  -- is supported:
  --
  -- -   Extending 'AndroidHardwareBufferPropertiesANDROID':
  --
  --     -   'AndroidHardwareBufferFormatProperties2ANDROID'
  --
  -- == New Enum Constants
  --
  -- -   'ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME'
  --
  -- -   'ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION'
  --
  -- -   Extending
  --     'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.ExternalMemoryHandleTypeFlagBits':
  --
  --     -   'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID'
  --
  -- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_ANDROID'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_PROPERTIES_ANDROID'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_USAGE_ANDROID'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_EXTERNAL_FORMAT_ANDROID'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_IMPORT_ANDROID_HARDWARE_BUFFER_INFO_ANDROID'
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_MEMORY_GET_ANDROID_HARDWARE_BUFFER_INFO_ANDROID'
  --
  -- If
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_format_feature_flags2 VK_KHR_format_feature_flags2>
  -- is supported:
  --
  -- -   Extending 'Vulkan.Core10.Enums.StructureType.StructureType':
  --
  --     -   'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_2_ANDROID'
  --
  -- == Issues
  --
  -- 1) Other external memory objects are represented as weakly-typed handles
  -- (e.g. Win32 'Vulkan.Extensions.VK_NV_external_memory_win32.HANDLE' or
  -- POSIX file descriptor), and require a handle type parameter along with
  -- handles. 'AHardwareBuffer' is strongly typed, so naming the handle type
  -- is redundant. Does symmetry justify adding handle type
  -- parameters\/fields anyway?
  --
  -- __RESOLVED__: No. The handle type is already provided in places that
  -- treat external memory objects generically. In the places we would add
  -- it, the application code that would have to provide the handle type
  -- value is already dealing with 'AHardwareBuffer'-specific
  -- commands\/structures; the extra symmetry would not be enough to make
  -- that code generic.
  --
  -- 2) The internal layout and therefore size of a 'AHardwareBuffer' image
  -- may depend on native usage flags that do not have corresponding Vulkan
  -- counterparts. Do we provide this information to
  -- 'Vulkan.Core10.Image.createImage' somehow, or allow the allocation size
  -- reported by 'Vulkan.Core10.MemoryManagement.getImageMemoryRequirements'
  -- to be approximate?
  --
  -- __RESOLVED__: Allow the allocation size to be unspecified when
  -- allocating the memory. It has to work this way for exported image memory
  -- anyway, since 'AHardwareBuffer' allocation happens in
  -- 'Vulkan.Core10.Memory.allocateMemory', and internally is performed by a
  -- separate HAL, not the Vulkan implementation itself. There is a similar
  -- issue with 'Vulkan.Core10.Image.getImageSubresourceLayout': the layout
  -- is determined by the allocator HAL, so it is not known until the image
  -- is bound to memory.
  --
  -- 3) Should the result of sampling an external-format image with the
  -- suggested Y′CBCR conversion parameters yield the same results as using a
  -- @samplerExternalOES@ in OpenGL ES?
  --
  -- __RESOLVED__: This would be desirable, so that apps converting from
  -- OpenGL ES to Vulkan could get the same output given the same input. But
  -- since sampling and conversion from Y′CBCR images is so loosely defined
  -- in OpenGL ES, multiple implementations do it in a way that does not
  -- conform to Vulkan’s requirements. Modifying the OpenGL ES implementation
  -- would be difficult, and would change the output of existing unmodified
  -- applications. Changing the output only for applications that are being
  -- modified gives developers the chance to notice and mitigate any
  -- problems. Implementations are encouraged to minimize differences as much
  -- as possible without causing compatibility problems for existing OpenGL
  -- ES applications or violating Vulkan requirements.
  --
  -- 4) Should an 'AHardwareBuffer' with @AHARDWAREBUFFER_USAGE_CPU_*@ usage
  -- be mappable in Vulkan? Should it be possible to export an
  -- @AHardwareBuffers@ with such usage?
  --
  -- __RESOLVED__: Optional, and mapping in Vulkan is not the same as
  -- @AHardwareBuffer_lock@. The semantics of these are different: mapping in
  -- memory is persistent, just gives a raw view of the memory contents, and
  -- does not involve ownership. @AHardwareBuffer_lock@ gives the host
  -- exclusive access to the buffer, is temporary, and allows for
  -- reformatting copy-in\/copy-out. Implementations are not required to
  -- support host-visible memory types for imported Android hardware buffers
  -- or resources backed by them. If a host-visible memory type is supported
  -- and used, the memory can be mapped in Vulkan, but doing so follows
  -- Vulkan semantics: it is just a raw view of the data and does not imply
  -- ownership (this means implementations must not internally call
  -- @AHardwareBuffer_lock@ to implement 'Vulkan.Core10.Memory.mapMemory', or
  -- assume the application has done so). Implementations are not required to
  -- support linear-tiled images backed by Android hardware buffers, even if
  -- the 'AHardwareBuffer' has CPU usage. There is no reliable way to
  -- allocate memory in Vulkan that can be exported to a 'AHardwareBuffer'
  -- with CPU usage.
  --
  -- 5) Android may add new 'AHardwareBuffer' formats and usage flags over
  -- time. Can reference to them be added to this extension, or do they need
  -- a new extension?
  --
  -- __RESOLVED__: This extension can document the interaction between the
  -- new AHB formats\/usages and existing Vulkan features. No new Vulkan
  -- features or implementation requirements can be added. The extension
  -- version number will be incremented when this additional documentation is
  -- added, but the version number does not indicate that an implementation
  -- supports Vulkan memory or resources that map to the new
  -- 'AHardwareBuffer' features: support for that must be queried with
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceImageFormatProperties2'
  -- or is implied by successfully allocating a 'AHardwareBuffer' outside of
  -- Vulkan that uses the new feature and has a GPU usage flag.
  --
  -- In essence, these are new features added to a new Android API level,
  -- rather than new Vulkan features. The extension will only document how
  -- existing Vulkan features map to that new Android feature.
  --
  -- == Version History
  --
  -- -   Revision 5, 2022-02-04 (Chris Forbes)
  --
  --     -   Describe mapping of flags for storage image support
  --
  -- -   Revision 4, 2021-09-30 (Jon Leech)
  --
  --     -   Add interaction with @VK_KHR_format_feature_flags2@ to @vk.xml@
  --
  -- -   Revision 3, 2019-08-27 (Jon Leech)
  --
  --     -   Update revision history to correspond to XML version number
  --
  -- -   Revision 2, 2018-04-09 (Petr Kraus)
  --
  --     -   Markup fixes and remove incorrect Draft status
  --
  -- -   Revision 1, 2018-03-04 (Jesse Hall)
  --
  --     -   Initial version
  --
  -- == See Also
  --
  -- 'AHardwareBuffer', 'AndroidHardwareBufferFormatPropertiesANDROID',
  -- 'AndroidHardwareBufferPropertiesANDROID',
  -- 'AndroidHardwareBufferUsageANDROID', 'ExternalFormatANDROID',
  -- 'ImportAndroidHardwareBufferInfoANDROID',
  -- 'MemoryGetAndroidHardwareBufferInfoANDROID',
  -- 'getAndroidHardwareBufferPropertiesANDROID',
  -- 'getMemoryAndroidHardwareBufferANDROID'
  --
  -- == Document Notes
  --
  -- For more information, see the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer Vulkan Specification>
  --
  -- This page is a generated document. Fixes and changes should be made to
  -- the generator scripts, not directly.
  module Vulkan.Extensions.VK_ANDROID_external_memory_android_hardware_buffer  ( getAndroidHardwareBufferPropertiesANDROID
                                                                               , getMemoryAndroidHardwareBufferANDROID
                                                                               , ImportAndroidHardwareBufferInfoANDROID(..)
                                                                               , AndroidHardwareBufferUsageANDROID(..)
                                                                               , AndroidHardwareBufferPropertiesANDROID(..)
                                                                               , MemoryGetAndroidHardwareBufferInfoANDROID(..)
                                                                               , AndroidHardwareBufferFormatPropertiesANDROID(..)
                                                                               , ExternalFormatANDROID(..)
                                                                               , AndroidHardwareBufferFormatProperties2ANDROID(..)
                                                                               , ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION
                                                                               , pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION
                                                                               , ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME
                                                                               , pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME
                                                                               , AHardwareBuffer
                                                                               ) where
  
  import Vulkan.Internal.Utils (traceAroundEvent)
  import Control.Exception.Base (bracket)
  import Control.Monad (unless)
  import Control.Monad.IO.Class (liftIO)
  import Data.Typeable (eqT)
  import Foreign.Marshal.Alloc (allocaBytes)
  import Foreign.Marshal.Alloc (callocBytes)
  import Foreign.Marshal.Alloc (free)
  import GHC.Base (when)
  import GHC.IO (throwIO)
  import GHC.Ptr (castPtr)
  import GHC.Ptr (nullFunPtr)
  import Foreign.Ptr (nullPtr)
  import Foreign.Ptr (plusPtr)
  import Control.Monad.Trans.Class (lift)
  import Control.Monad.Trans.Cont (evalContT)
  import Vulkan.CStruct (FromCStruct)
  import Vulkan.CStruct (FromCStruct(..))
  import Vulkan.CStruct (ToCStruct)
  import Vulkan.CStruct (ToCStruct(..))
  import Vulkan.Zero (Zero(..))
  import Control.Monad.IO.Class (MonadIO)
  import Data.String (IsString)
  import Data.Type.Equality ((:~:)(Refl))
  import Data.Typeable (Typeable)
  import Foreign.Storable (Storable)
  import Foreign.Storable (Storable(peek))
  import Foreign.Storable (Storable(poke))
  import qualified Foreign.Storable (Storable(..))
  import GHC.Generics (Generic)
  import GHC.IO.Exception (IOErrorType(..))
  import GHC.IO.Exception (IOException(..))
  import Foreign.Ptr (FunPtr)
  import Foreign.Ptr (Ptr)
  import Data.Word (Word32)
  import Data.Word (Word64)
  import Data.Kind (Type)
  import Control.Monad.Trans.Cont (ContT(..))
  import Vulkan.CStruct.Extends (forgetExtensions)
  import {-# SOURCE #-} Vulkan.Extensions.VK_ANDROID_external_format_resolve (AndroidHardwareBufferFormatResolvePropertiesANDROID)
  import Vulkan.CStruct.Extends (Chain)
  import Vulkan.Core11.Enums.ChromaLocation (ChromaLocation)
  import Vulkan.Core10.ImageView (ComponentMapping)
  import Vulkan.Core10.Handles (Device)
  import Vulkan.Core10.Handles (Device(..))
  import Vulkan.Core10.Handles (Device(Device))
  import Vulkan.Dynamic (DeviceCmds(pVkGetAndroidHardwareBufferPropertiesANDROID))
  import Vulkan.Dynamic (DeviceCmds(pVkGetMemoryAndroidHardwareBufferANDROID))
  import Vulkan.Core10.Handles (DeviceMemory)
  import Vulkan.Core10.FundamentalTypes (DeviceSize)
  import Vulkan.Core10.Handles (Device_T)
  import Vulkan.CStruct.Extends (Extends)
  import Vulkan.CStruct.Extends (Extendss)
  import Vulkan.CStruct.Extends (Extensible(..))
  import Vulkan.Core10.Enums.Format (Format)
  import Vulkan.Core10.Enums.FormatFeatureFlagBits (FormatFeatureFlags)
  import Vulkan.Core13.Enums.FormatFeatureFlags2 (FormatFeatureFlags2)
  import Vulkan.CStruct.Extends (PeekChain)
  import Vulkan.CStruct.Extends (PeekChain(..))
  import Vulkan.CStruct.Extends (PokeChain)
  import Vulkan.CStruct.Extends (PokeChain(..))
  import Vulkan.Core10.Enums.Result (Result)
  import Vulkan.Core10.Enums.Result (Result(..))
  import Vulkan.Core11.Enums.SamplerYcbcrModelConversion (SamplerYcbcrModelConversion)
  import Vulkan.Core11.Enums.SamplerYcbcrRange (SamplerYcbcrRange)
  import Vulkan.CStruct.Extends (SomeStruct)
  import Vulkan.Core10.Enums.StructureType (StructureType)
  import Vulkan.Exception (VulkanException(..))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_2_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_PROPERTIES_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_USAGE_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_EXTERNAL_FORMAT_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_IMPORT_ANDROID_HARDWARE_BUFFER_INFO_ANDROID))
  import Vulkan.Core10.Enums.StructureType (StructureType(STRUCTURE_TYPE_MEMORY_GET_ANDROID_HARDWARE_BUFFER_INFO_ANDROID))
  import Vulkan.Core10.Enums.Result (Result(SUCCESS))
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkGetAndroidHardwareBufferPropertiesANDROID
    :: FunPtr (Ptr Device_T -> Ptr AHardwareBuffer -> Ptr (SomeStruct AndroidHardwareBufferPropertiesANDROID) -> IO Result) -> Ptr Device_T -> Ptr AHardwareBuffer -> Ptr (SomeStruct AndroidHardwareBufferPropertiesANDROID) -> IO Result
  
  -- | vkGetAndroidHardwareBufferPropertiesANDROID - Get Properties of External
  -- Memory Android Hardware Buffers
  --
  -- == Return Codes
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
  --
  --     -   'Vulkan.Core10.Enums.Result.SUCCESS'
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-errorcodes Failure>]
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY'
  --
  --     -   'Vulkan.Extensions.VK_KHR_external_memory.ERROR_INVALID_EXTERNAL_HANDLE_KHR'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'AndroidHardwareBufferPropertiesANDROID', 'Vulkan.Core10.Handles.Device'
  getAndroidHardwareBufferPropertiesANDROID :: forall a io
                                             . ( Extendss AndroidHardwareBufferPropertiesANDROID a
                                               , PokeChain a
                                               , PeekChain a
                                               , MonadIO io )
                                            => -- | @device@ is the logical device that will be importing @buffer@.
                                               --
                                               -- #VUID-vkGetAndroidHardwareBufferPropertiesANDROID-device-parameter#
                                               -- @device@ /must/ be a valid 'Vulkan.Core10.Handles.Device' handle
                                               Device
                                            -> -- | @buffer@ is the Android hardware buffer which will be imported.
                                               --
                                               -- #VUID-vkGetAndroidHardwareBufferPropertiesANDROID-buffer-01884# @buffer@
                                               -- /must/ be a valid Android hardware buffer object with at least one of
                                               -- the @AHARDWAREBUFFER_USAGE_GPU_*@ flags in its
                                               -- @AHardwareBuffer_Desc@::@usage@
                                               --
                                               -- #VUID-vkGetAndroidHardwareBufferPropertiesANDROID-buffer-parameter#
                                               -- @buffer@ /must/ be a valid pointer to a valid 'AHardwareBuffer' value
                                               (Ptr AHardwareBuffer)
                                            -> io (AndroidHardwareBufferPropertiesANDROID a)
  getAndroidHardwareBufferPropertiesANDROID device
                                              buffer = liftIO . evalContT $ do
    let vkGetAndroidHardwareBufferPropertiesANDROIDPtr = pVkGetAndroidHardwareBufferPropertiesANDROID (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkGetAndroidHardwareBufferPropertiesANDROIDPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkGetAndroidHardwareBufferPropertiesANDROID is null" Nothing Nothing
    let vkGetAndroidHardwareBufferPropertiesANDROID' = mkVkGetAndroidHardwareBufferPropertiesANDROID vkGetAndroidHardwareBufferPropertiesANDROIDPtr
    pPProperties <- ContT (withZeroCStruct @(AndroidHardwareBufferPropertiesANDROID _))
    r <- lift $ traceAroundEvent "vkGetAndroidHardwareBufferPropertiesANDROID" (vkGetAndroidHardwareBufferPropertiesANDROID'
                                                                                  (deviceHandle (device))
                                                                                  (buffer)
                                                                                  (forgetExtensions (pPProperties)))
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
    pProperties <- lift $ peekCStruct @(AndroidHardwareBufferPropertiesANDROID _) pPProperties
    pure $ (pProperties)
  
  
  foreign import ccall
  #if !defined(SAFE_FOREIGN_CALLS)
    unsafe
  #endif
    "dynamic" mkVkGetMemoryAndroidHardwareBufferANDROID
    :: FunPtr (Ptr Device_T -> Ptr MemoryGetAndroidHardwareBufferInfoANDROID -> Ptr (Ptr AHardwareBuffer) -> IO Result) -> Ptr Device_T -> Ptr MemoryGetAndroidHardwareBufferInfoANDROID -> Ptr (Ptr AHardwareBuffer) -> IO Result
  
  -- | vkGetMemoryAndroidHardwareBufferANDROID - Get an Android hardware buffer
  -- for a memory object
  --
  -- = Description
  --
  -- Each call to 'getMemoryAndroidHardwareBufferANDROID' /must/ return an
  -- Android hardware buffer with a new reference acquired in addition to the
  -- reference held by the 'Vulkan.Core10.Handles.DeviceMemory'. To avoid
  -- leaking resources, the application /must/ release the reference by
  -- calling @AHardwareBuffer_release@ when it is no longer needed. When
  -- called with the same handle in
  -- 'MemoryGetAndroidHardwareBufferInfoANDROID'::@memory@,
  -- 'getMemoryAndroidHardwareBufferANDROID' /must/ return the same Android
  -- hardware buffer object. If the device memory was created by importing an
  -- Android hardware buffer, 'getMemoryAndroidHardwareBufferANDROID' /must/
  -- return that same Android hardware buffer object.
  --
  -- == Return Codes
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-successcodes Success>]
  --
  --     -   'Vulkan.Core10.Enums.Result.SUCCESS'
  --
  -- [<https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#fundamentals-errorcodes Failure>]
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_TOO_MANY_OBJECTS'
  --
  --     -   'Vulkan.Core10.Enums.Result.ERROR_OUT_OF_HOST_MEMORY'
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.Handles.Device',
  -- 'MemoryGetAndroidHardwareBufferInfoANDROID'
  getMemoryAndroidHardwareBufferANDROID :: forall io
                                         . (MonadIO io)
                                        => -- | @device@ is the logical device that created the device memory being
                                           -- exported.
                                           --
                                           -- #VUID-vkGetMemoryAndroidHardwareBufferANDROID-device-parameter# @device@
                                           -- /must/ be a valid 'Vulkan.Core10.Handles.Device' handle
                                           Device
                                        -> -- | @pInfo@ is a pointer to a 'MemoryGetAndroidHardwareBufferInfoANDROID'
                                           -- structure containing parameters of the export operation.
                                           --
                                           -- #VUID-vkGetMemoryAndroidHardwareBufferANDROID-pInfo-parameter# @pInfo@
                                           -- /must/ be a valid pointer to a valid
                                           -- 'MemoryGetAndroidHardwareBufferInfoANDROID' structure
                                           MemoryGetAndroidHardwareBufferInfoANDROID
                                        -> io (Ptr AHardwareBuffer)
  getMemoryAndroidHardwareBufferANDROID device info = liftIO . evalContT $ do
    let vkGetMemoryAndroidHardwareBufferANDROIDPtr = pVkGetMemoryAndroidHardwareBufferANDROID (case device of Device{deviceCmds} -> deviceCmds)
    lift $ unless (vkGetMemoryAndroidHardwareBufferANDROIDPtr /= nullFunPtr) $
      throwIO $ IOError Nothing InvalidArgument "" "The function pointer for vkGetMemoryAndroidHardwareBufferANDROID is null" Nothing Nothing
    let vkGetMemoryAndroidHardwareBufferANDROID' = mkVkGetMemoryAndroidHardwareBufferANDROID vkGetMemoryAndroidHardwareBufferANDROIDPtr
    pInfo <- ContT $ withCStruct (info)
    pPBuffer <- ContT $ bracket (callocBytes @(Ptr AHardwareBuffer) 8) free
    r <- lift $ traceAroundEvent "vkGetMemoryAndroidHardwareBufferANDROID" (vkGetMemoryAndroidHardwareBufferANDROID'
                                                                              (deviceHandle (device))
                                                                              pInfo
                                                                              (pPBuffer))
    lift $ when (r < SUCCESS) (throwIO (VulkanException r))
    pBuffer <- lift $ peek @(Ptr AHardwareBuffer) pPBuffer
    pure $ (pBuffer)
  
  
  -- | VkImportAndroidHardwareBufferInfoANDROID - Import memory from an Android
  -- hardware buffer
  --
  -- = Description
  --
  -- If the 'Vulkan.Core10.Memory.allocateMemory' command succeeds, the
  -- implementation /must/ acquire a reference to the imported hardware
  -- buffer, which it /must/ release when the device memory object is freed.
  -- If the command fails, the implementation /must/ not retain a reference.
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkImportAndroidHardwareBufferInfoANDROID-buffer-01880# If
  --     @buffer@ is not @NULL@, Android hardware buffers /must/ be supported
  --     for import, as reported by
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_memory_capabilities.ExternalImageFormatProperties'
  --     or
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_memory_capabilities.ExternalBufferProperties'
  --
  -- -   #VUID-VkImportAndroidHardwareBufferInfoANDROID-buffer-01881# If
  --     @buffer@ is not @NULL@, it /must/ be a valid Android hardware buffer
  --     object with @AHardwareBuffer_Desc@::@usage@ compatible with Vulkan
  --     as described in
  --     <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#memory-external-android-hardware-buffer Android Hardware Buffers>
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkImportAndroidHardwareBufferInfoANDROID-sType-sType# @sType@
  --     /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_IMPORT_ANDROID_HARDWARE_BUFFER_INFO_ANDROID'
  --
  -- -   #VUID-VkImportAndroidHardwareBufferInfoANDROID-buffer-parameter#
  --     @buffer@ /must/ be a valid pointer to an 'AHardwareBuffer' value
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data ImportAndroidHardwareBufferInfoANDROID = ImportAndroidHardwareBufferInfoANDROID
    { -- | @buffer@ is the Android hardware buffer to import.
      buffer :: Ptr AHardwareBuffer }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (ImportAndroidHardwareBufferInfoANDROID)
  #endif
  deriving instance Show ImportAndroidHardwareBufferInfoANDROID
  
  instance ToCStruct ImportAndroidHardwareBufferInfoANDROID where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p ImportAndroidHardwareBufferInfoANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_IMPORT_ANDROID_HARDWARE_BUFFER_INFO_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr (Ptr AHardwareBuffer))) (buffer)
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_IMPORT_ANDROID_HARDWARE_BUFFER_INFO_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr (Ptr AHardwareBuffer))) (zero)
      f
  
  instance FromCStruct ImportAndroidHardwareBufferInfoANDROID where
    peekCStruct p = do
      buffer <- peek @(Ptr AHardwareBuffer) ((p `plusPtr` 16 :: Ptr (Ptr AHardwareBuffer)))
      pure $ ImportAndroidHardwareBufferInfoANDROID
               buffer
  
  instance Storable ImportAndroidHardwareBufferInfoANDROID where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero ImportAndroidHardwareBufferInfoANDROID where
    zero = ImportAndroidHardwareBufferInfoANDROID
             zero
  
  
  -- | VkAndroidHardwareBufferUsageANDROID - Struct containing Android hardware
  -- buffer usage flags
  --
  -- = Description
  --
  -- The @androidHardwareBufferUsage@ field /must/ include Android hardware
  -- buffer usage flags listed in the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#memory-external-android-hardware-buffer-usage AHardwareBuffer Usage Equivalence>
  -- table when the corresponding Vulkan image usage or image creation flags
  -- are included in the @usage@ or @flags@ fields of
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.PhysicalDeviceImageFormatInfo2'.
  -- It /must/ include at least one GPU usage flag
  -- (@AHARDWAREBUFFER_USAGE_GPU_*@), even if none of the corresponding
  -- Vulkan usages or flags are requested.
  --
  -- Note
  --
  -- Requiring at least one GPU usage flag ensures that Android hardware
  -- buffer memory will be allocated in a memory pool accessible to the
  -- Vulkan implementation, and that specializing the memory layout based on
  -- usage flags does not prevent it from being compatible with Vulkan.
  -- Implementations /may/ avoid unnecessary restrictions caused by this
  -- requirement by using vendor usage flags to indicate that only the Vulkan
  -- uses indicated in
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.ImageFormatProperties2'
  -- are required.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data AndroidHardwareBufferUsageANDROID = AndroidHardwareBufferUsageANDROID
    { -- | @androidHardwareBufferUsage@ returns the Android hardware buffer usage
      -- flags.
      androidHardwareBufferUsage :: Word64 }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (AndroidHardwareBufferUsageANDROID)
  #endif
  deriving instance Show AndroidHardwareBufferUsageANDROID
  
  instance ToCStruct AndroidHardwareBufferUsageANDROID where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p AndroidHardwareBufferUsageANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_USAGE_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word64)) (androidHardwareBufferUsage)
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_USAGE_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word64)) (zero)
      f
  
  instance FromCStruct AndroidHardwareBufferUsageANDROID where
    peekCStruct p = do
      androidHardwareBufferUsage <- peek @Word64 ((p `plusPtr` 16 :: Ptr Word64))
      pure $ AndroidHardwareBufferUsageANDROID
               androidHardwareBufferUsage
  
  instance Storable AndroidHardwareBufferUsageANDROID where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero AndroidHardwareBufferUsageANDROID where
    zero = AndroidHardwareBufferUsageANDROID
             zero
  
  
  -- | VkAndroidHardwareBufferPropertiesANDROID - Properties of External Memory
  -- Android Hardware Buffers
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkAndroidHardwareBufferPropertiesANDROID-sType-sType# @sType@
  --     /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_PROPERTIES_ANDROID'
  --
  -- -   #VUID-VkAndroidHardwareBufferPropertiesANDROID-pNext-pNext# Each
  --     @pNext@ member of any structure (including this one) in the @pNext@
  --     chain /must/ be either @NULL@ or a pointer to a valid instance of
  --     'AndroidHardwareBufferFormatProperties2ANDROID',
  --     'AndroidHardwareBufferFormatPropertiesANDROID', or
  --     'Vulkan.Extensions.VK_ANDROID_external_format_resolve.AndroidHardwareBufferFormatResolvePropertiesANDROID'
  --
  -- -   #VUID-VkAndroidHardwareBufferPropertiesANDROID-sType-unique# The
  --     @sType@ value of each struct in the @pNext@ chain /must/ be unique
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.FundamentalTypes.DeviceSize',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'getAndroidHardwareBufferPropertiesANDROID'
  data AndroidHardwareBufferPropertiesANDROID (es :: [Type]) = AndroidHardwareBufferPropertiesANDROID
    { -- | @pNext@ is @NULL@ or a pointer to a structure extending this structure.
      next :: Chain es
    , -- | @allocationSize@ is the size of the external memory
      allocationSize :: DeviceSize
    , -- | @memoryTypeBits@ is a bitmask containing one bit set for every memory
      -- type which the specified Android hardware buffer /can/ be imported as.
      memoryTypeBits :: Word32
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (AndroidHardwareBufferPropertiesANDROID (es :: [Type]))
  #endif
  deriving instance Show (Chain es) => Show (AndroidHardwareBufferPropertiesANDROID es)
  
  instance Extensible AndroidHardwareBufferPropertiesANDROID where
    extensibleTypeName = "AndroidHardwareBufferPropertiesANDROID"
    setNext AndroidHardwareBufferPropertiesANDROID{..} next' = AndroidHardwareBufferPropertiesANDROID{next = next', ..}
    getNext AndroidHardwareBufferPropertiesANDROID{..} = next
    extends :: forall e b proxy. Typeable e => proxy e -> (Extends AndroidHardwareBufferPropertiesANDROID e => b) -> Maybe b
    extends _ f
      | Just Refl <- eqT @e @AndroidHardwareBufferFormatResolvePropertiesANDROID = Just f
      | Just Refl <- eqT @e @AndroidHardwareBufferFormatProperties2ANDROID = Just f
      | Just Refl <- eqT @e @AndroidHardwareBufferFormatPropertiesANDROID = Just f
      | otherwise = Nothing
  
  instance ( Extendss AndroidHardwareBufferPropertiesANDROID es
           , PokeChain es ) => ToCStruct (AndroidHardwareBufferPropertiesANDROID es) where
    withCStruct x f = allocaBytes 32 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p AndroidHardwareBufferPropertiesANDROID{..} f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_PROPERTIES_ANDROID)
      pNext'' <- fmap castPtr . ContT $ withChain (next)
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext''
      lift $ poke ((p `plusPtr` 16 :: Ptr DeviceSize)) (allocationSize)
      lift $ poke ((p `plusPtr` 24 :: Ptr Word32)) (memoryTypeBits)
      lift $ f
    cStructSize = 32
    cStructAlignment = 8
    pokeZeroCStruct p f = evalContT $ do
      lift $ poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_PROPERTIES_ANDROID)
      pNext' <- fmap castPtr . ContT $ withZeroChain @es
      lift $ poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) pNext'
      lift $ poke ((p `plusPtr` 16 :: Ptr DeviceSize)) (zero)
      lift $ poke ((p `plusPtr` 24 :: Ptr Word32)) (zero)
      lift $ f
  
  instance ( Extendss AndroidHardwareBufferPropertiesANDROID es
           , PeekChain es ) => FromCStruct (AndroidHardwareBufferPropertiesANDROID es) where
    peekCStruct p = do
      pNext <- peek @(Ptr ()) ((p `plusPtr` 8 :: Ptr (Ptr ())))
      next <- peekChain (castPtr pNext)
      allocationSize <- peek @DeviceSize ((p `plusPtr` 16 :: Ptr DeviceSize))
      memoryTypeBits <- peek @Word32 ((p `plusPtr` 24 :: Ptr Word32))
      pure $ AndroidHardwareBufferPropertiesANDROID
               next allocationSize memoryTypeBits
  
  instance es ~ '[] => Zero (AndroidHardwareBufferPropertiesANDROID es) where
    zero = AndroidHardwareBufferPropertiesANDROID
             ()
             zero
             zero
  
  
  -- | VkMemoryGetAndroidHardwareBufferInfoANDROID - Structure describing an
  -- Android hardware buffer memory export operation
  --
  -- == Valid Usage
  --
  -- -   #VUID-VkMemoryGetAndroidHardwareBufferInfoANDROID-handleTypes-01882#
  --     'Vulkan.Core11.Enums.ExternalMemoryHandleTypeFlagBits.EXTERNAL_MEMORY_HANDLE_TYPE_ANDROID_HARDWARE_BUFFER_BIT_ANDROID'
  --     /must/ have been included in
  --     'Vulkan.Core11.Promoted_From_VK_KHR_external_memory.ExportMemoryAllocateInfo'::@handleTypes@
  --     when @memory@ was created
  --
  -- -   #VUID-VkMemoryGetAndroidHardwareBufferInfoANDROID-pNext-01883# If
  --     the @pNext@ chain of the 'Vulkan.Core10.Memory.MemoryAllocateInfo'
  --     used to allocate @memory@ included a
  --     'Vulkan.Core11.Promoted_From_VK_KHR_dedicated_allocation.MemoryDedicatedAllocateInfo'
  --     with non-@NULL@ @image@ member, then that @image@ /must/ already be
  --     bound to @memory@
  --
  -- == Valid Usage (Implicit)
  --
  -- -   #VUID-VkMemoryGetAndroidHardwareBufferInfoANDROID-sType-sType#
  --     @sType@ /must/ be
  --     'Vulkan.Core10.Enums.StructureType.STRUCTURE_TYPE_MEMORY_GET_ANDROID_HARDWARE_BUFFER_INFO_ANDROID'
  --
  -- -   #VUID-VkMemoryGetAndroidHardwareBufferInfoANDROID-pNext-pNext#
  --     @pNext@ /must/ be @NULL@
  --
  -- -   #VUID-VkMemoryGetAndroidHardwareBufferInfoANDROID-memory-parameter#
  --     @memory@ /must/ be a valid 'Vulkan.Core10.Handles.DeviceMemory'
  --     handle
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.Handles.DeviceMemory',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType',
  -- 'getMemoryAndroidHardwareBufferANDROID'
  data MemoryGetAndroidHardwareBufferInfoANDROID = MemoryGetAndroidHardwareBufferInfoANDROID
    { -- | @memory@ is the memory object from which the Android hardware buffer
      -- will be exported.
      memory :: DeviceMemory }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (MemoryGetAndroidHardwareBufferInfoANDROID)
  #endif
  deriving instance Show MemoryGetAndroidHardwareBufferInfoANDROID
  
  instance ToCStruct MemoryGetAndroidHardwareBufferInfoANDROID where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p MemoryGetAndroidHardwareBufferInfoANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_MEMORY_GET_ANDROID_HARDWARE_BUFFER_INFO_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr DeviceMemory)) (memory)
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_MEMORY_GET_ANDROID_HARDWARE_BUFFER_INFO_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr DeviceMemory)) (zero)
      f
  
  instance FromCStruct MemoryGetAndroidHardwareBufferInfoANDROID where
    peekCStruct p = do
      memory <- peek @DeviceMemory ((p `plusPtr` 16 :: Ptr DeviceMemory))
      pure $ MemoryGetAndroidHardwareBufferInfoANDROID
               memory
  
  instance Storable MemoryGetAndroidHardwareBufferInfoANDROID where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero MemoryGetAndroidHardwareBufferInfoANDROID where
    zero = MemoryGetAndroidHardwareBufferInfoANDROID
             zero
  
  
  -- | VkAndroidHardwareBufferFormatPropertiesANDROID - Structure describing
  -- the image format properties of an Android hardware buffer
  --
  -- = Description
  --
  -- If the Android hardware buffer has one of the formats listed in the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#memory-external-android-hardware-buffer-formats Format Equivalence table>,
  -- then @format@ /must/ have the equivalent Vulkan format listed in the
  -- table. Otherwise, @format@ /may/ be
  -- 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', indicating the Android
  -- hardware buffer /can/ only be used with an external format.
  --
  -- The @formatFeatures@ member /must/ include
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_BIT'
  -- and at least one of
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_MIDPOINT_CHROMA_SAMPLES_BIT'
  -- or
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_COSITED_CHROMA_SAMPLES_BIT',
  -- and /should/ include
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT'
  -- and
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_YCBCR_CONVERSION_LINEAR_FILTER_BIT'.
  --
  -- Note
  --
  -- The @formatFeatures@ member only indicates the features available when
  -- using an
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#memory-external-android-hardware-buffer-external-formats external-format image>
  -- created from the Android hardware buffer. Images from Android hardware
  -- buffers with a format other than
  -- 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED' are subject to the format
  -- capabilities obtained from
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceFormatProperties2',
  -- and
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_get_physical_device_properties2.getPhysicalDeviceImageFormatProperties2'
  -- with appropriate parameters. These sets of features are independent of
  -- each other, e.g. the external format will support sampler Y′CBCR
  -- conversion even if the non-external format does not, and rendering
  -- directly to the external format will not be supported even if the
  -- non-external format does support this.
  --
  -- Android hardware buffers with the same external format /must/ have the
  -- same support for
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_FILTER_LINEAR_BIT',
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_MIDPOINT_CHROMA_SAMPLES_BIT',
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_COSITED_CHROMA_SAMPLES_BIT',
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_YCBCR_CONVERSION_LINEAR_FILTER_BIT',
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_YCBCR_CONVERSION_SEPARATE_RECONSTRUCTION_FILTER_BIT',
  -- and
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FORMAT_FEATURE_SAMPLED_IMAGE_YCBCR_CONVERSION_CHROMA_RECONSTRUCTION_EXPLICIT_FORCEABLE_BIT'.
  -- in @formatFeatures@. Other format features /may/ differ between Android
  -- hardware buffers that have the same external format. This allows
  -- applications to use the same
  -- 'Vulkan.Core11.Handles.SamplerYcbcrConversion' object (and samplers and
  -- pipelines created from them) for any Android hardware buffers that have
  -- the same external format.
  --
  -- If @format@ is not 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', then
  -- the value of @samplerYcbcrConversionComponents@ /must/ be valid when
  -- used as the @components@ member of
  -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'
  -- with that format. If @format@ is
  -- 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED', all members of
  -- @samplerYcbcrConversionComponents@ /must/ be the
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#resources-image-views-identity-mappings identity swizzle>.
  --
  -- Implementations /may/ not always be able to determine the color model,
  -- numerical range, or chroma offsets of the image contents, so the values
  -- in 'AndroidHardwareBufferFormatPropertiesANDROID' are only suggestions.
  -- Applications /should/ treat these values as sensible defaults to use in
  -- the absence of more reliable information obtained through some other
  -- means. If the underlying physical device is also usable via OpenGL ES
  -- with the
  -- <https://registry.khronos.org/OpenGL/extensions/OES/OES_EGL_image_external.txt GL_OES_EGL_image_external>
  -- extension, the implementation /should/ suggest values that will produce
  -- similar sampled values as would be obtained by sampling the same
  -- external image via @samplerExternalOES@ in OpenGL ES using equivalent
  -- sampler parameters.
  --
  -- Note
  --
  -- Since
  -- <https://registry.khronos.org/OpenGL/extensions/OES/OES_EGL_image_external.txt GL_OES_EGL_image_external>
  -- does not require the same sampling and conversion calculations as Vulkan
  -- does, achieving identical results between APIs /may/ not be possible on
  -- some implementations.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core11.Enums.ChromaLocation.ChromaLocation',
  -- 'Vulkan.Core10.ImageView.ComponentMapping',
  -- 'Vulkan.Core10.Enums.Format.Format',
  -- 'Vulkan.Core10.Enums.FormatFeatureFlagBits.FormatFeatureFlags',
  -- 'Vulkan.Core11.Enums.SamplerYcbcrModelConversion.SamplerYcbcrModelConversion',
  -- 'Vulkan.Core11.Enums.SamplerYcbcrRange.SamplerYcbcrRange',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data AndroidHardwareBufferFormatPropertiesANDROID = AndroidHardwareBufferFormatPropertiesANDROID
    { -- | @format@ is the Vulkan format corresponding to the Android hardware
      -- buffer’s format, or 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED' if
      -- there is not an equivalent Vulkan format.
      format :: Format
    , -- | @externalFormat@ is an implementation-defined external format identifier
      -- for use with 'ExternalFormatANDROID'. It /must/ not be zero.
      externalFormat :: Word64
    , -- | @formatFeatures@ describes the capabilities of this external format when
      -- used with an image bound to memory imported from @buffer@.
      formatFeatures :: FormatFeatureFlags
    , -- | @samplerYcbcrConversionComponents@ is the component swizzle that
      -- /should/ be used in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      samplerYcbcrConversionComponents :: ComponentMapping
    , -- | @suggestedYcbcrModel@ is a suggested color model to use in the
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYcbcrModel :: SamplerYcbcrModelConversion
    , -- | @suggestedYcbcrRange@ is a suggested numerical value range to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYcbcrRange :: SamplerYcbcrRange
    , -- | @suggestedXChromaOffset@ is a suggested X chroma offset to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedXChromaOffset :: ChromaLocation
    , -- | @suggestedYChromaOffset@ is a suggested Y chroma offset to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYChromaOffset :: ChromaLocation
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (AndroidHardwareBufferFormatPropertiesANDROID)
  #endif
  deriving instance Show AndroidHardwareBufferFormatPropertiesANDROID
  
  instance ToCStruct AndroidHardwareBufferFormatPropertiesANDROID where
    withCStruct x f = allocaBytes 72 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p AndroidHardwareBufferFormatPropertiesANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Format)) (format)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (externalFormat)
      poke ((p `plusPtr` 32 :: Ptr FormatFeatureFlags)) (formatFeatures)
      poke ((p `plusPtr` 36 :: Ptr ComponentMapping)) (samplerYcbcrConversionComponents)
      poke ((p `plusPtr` 52 :: Ptr SamplerYcbcrModelConversion)) (suggestedYcbcrModel)
      poke ((p `plusPtr` 56 :: Ptr SamplerYcbcrRange)) (suggestedYcbcrRange)
      poke ((p `plusPtr` 60 :: Ptr ChromaLocation)) (suggestedXChromaOffset)
      poke ((p `plusPtr` 64 :: Ptr ChromaLocation)) (suggestedYChromaOffset)
      f
    cStructSize = 72
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Format)) (zero)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (zero)
      poke ((p `plusPtr` 32 :: Ptr FormatFeatureFlags)) (zero)
      poke ((p `plusPtr` 36 :: Ptr ComponentMapping)) (zero)
      poke ((p `plusPtr` 52 :: Ptr SamplerYcbcrModelConversion)) (zero)
      poke ((p `plusPtr` 56 :: Ptr SamplerYcbcrRange)) (zero)
      poke ((p `plusPtr` 60 :: Ptr ChromaLocation)) (zero)
      poke ((p `plusPtr` 64 :: Ptr ChromaLocation)) (zero)
      f
  
  instance FromCStruct AndroidHardwareBufferFormatPropertiesANDROID where
    peekCStruct p = do
      format <- peek @Format ((p `plusPtr` 16 :: Ptr Format))
      externalFormat <- peek @Word64 ((p `plusPtr` 24 :: Ptr Word64))
      formatFeatures <- peek @FormatFeatureFlags ((p `plusPtr` 32 :: Ptr FormatFeatureFlags))
      samplerYcbcrConversionComponents <- peekCStruct @ComponentMapping ((p `plusPtr` 36 :: Ptr ComponentMapping))
      suggestedYcbcrModel <- peek @SamplerYcbcrModelConversion ((p `plusPtr` 52 :: Ptr SamplerYcbcrModelConversion))
      suggestedYcbcrRange <- peek @SamplerYcbcrRange ((p `plusPtr` 56 :: Ptr SamplerYcbcrRange))
      suggestedXChromaOffset <- peek @ChromaLocation ((p `plusPtr` 60 :: Ptr ChromaLocation))
      suggestedYChromaOffset <- peek @ChromaLocation ((p `plusPtr` 64 :: Ptr ChromaLocation))
      pure $ AndroidHardwareBufferFormatPropertiesANDROID
               format
               externalFormat
               formatFeatures
               samplerYcbcrConversionComponents
               suggestedYcbcrModel
               suggestedYcbcrRange
               suggestedXChromaOffset
               suggestedYChromaOffset
  
  instance Storable AndroidHardwareBufferFormatPropertiesANDROID where
    sizeOf ~_ = 72
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero AndroidHardwareBufferFormatPropertiesANDROID where
    zero = AndroidHardwareBufferFormatPropertiesANDROID
             zero
             zero
             zero
             zero
             zero
             zero
             zero
             zero
  
  
  -- | VkExternalFormatANDROID - Structure containing an Android hardware
  -- buffer external format
  --
  -- = Description
  --
  -- When included in the @pNext@ chain of another structure, it indicates
  -- <https://registry.khronos.org/vulkan/specs/1.3-extensions/html/vkspec.html#memory-external-android-hardware-buffer-external-formats additional format information>
  -- beyond what is provided by 'Vulkan.Core10.Enums.Format.Format' values
  -- for an Android hardware buffer. If @externalFormat@ is zero, it
  -- indicates that no external format is used, and implementations should
  -- rely only on other format information. If this structure is not present,
  -- it is equivalent to setting @externalFormat@ to zero.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data ExternalFormatANDROID = ExternalFormatANDROID
    { -- | @externalFormat@ is an implementation-defined identifier for the
      -- external format
      --
      -- #VUID-VkExternalFormatANDROID-externalFormat-01894# @externalFormat@
      -- /must/ be @0@ or a value returned in the @externalFormat@ member of
      -- 'AndroidHardwareBufferFormatPropertiesANDROID' by an earlier call to
      -- 'getAndroidHardwareBufferPropertiesANDROID'
      externalFormat :: Word64 }
    deriving (Typeable, Eq)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (ExternalFormatANDROID)
  #endif
  deriving instance Show ExternalFormatANDROID
  
  instance ToCStruct ExternalFormatANDROID where
    withCStruct x f = allocaBytes 24 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p ExternalFormatANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_EXTERNAL_FORMAT_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word64)) (externalFormat)
      f
    cStructSize = 24
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_EXTERNAL_FORMAT_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Word64)) (zero)
      f
  
  instance FromCStruct ExternalFormatANDROID where
    peekCStruct p = do
      externalFormat <- peek @Word64 ((p `plusPtr` 16 :: Ptr Word64))
      pure $ ExternalFormatANDROID
               externalFormat
  
  instance Storable ExternalFormatANDROID where
    sizeOf ~_ = 24
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero ExternalFormatANDROID where
    zero = ExternalFormatANDROID
             zero
  
  
  -- | VkAndroidHardwareBufferFormatProperties2ANDROID - Structure describing
  -- the image format properties of an Android hardware buffer
  --
  -- = Description
  --
  -- The bits reported in @formatFeatures@ /must/ include the bits reported
  -- in the corresponding fields of
  -- 'AndroidHardwareBufferFormatPropertiesANDROID'::@formatFeatures@.
  --
  -- == Valid Usage (Implicit)
  --
  -- = See Also
  --
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_ANDROID_external_memory_android_hardware_buffer VK_ANDROID_external_memory_android_hardware_buffer>,
  -- <https://www.khronos.org/registry/vulkan/specs/1.2-extensions/html/vkspec.html#VK_KHR_format_feature_flags2 VK_KHR_format_feature_flags2>,
  -- 'Vulkan.Core11.Enums.ChromaLocation.ChromaLocation',
  -- 'Vulkan.Core10.ImageView.ComponentMapping',
  -- 'Vulkan.Core10.Enums.Format.Format',
  -- 'Vulkan.Core13.Enums.FormatFeatureFlags2.FormatFeatureFlags2',
  -- 'Vulkan.Core11.Enums.SamplerYcbcrModelConversion.SamplerYcbcrModelConversion',
  -- 'Vulkan.Core11.Enums.SamplerYcbcrRange.SamplerYcbcrRange',
  -- 'Vulkan.Core10.Enums.StructureType.StructureType'
  data AndroidHardwareBufferFormatProperties2ANDROID = AndroidHardwareBufferFormatProperties2ANDROID
    { -- | @format@ is the Vulkan format corresponding to the Android hardware
      -- buffer’s format, or 'Vulkan.Core10.Enums.Format.FORMAT_UNDEFINED' if
      -- there is not an equivalent Vulkan format.
      format :: Format
    , -- | @externalFormat@ is an implementation-defined external format identifier
      -- for use with 'ExternalFormatANDROID'. It /must/ not be zero.
      externalFormat :: Word64
    , -- | @formatFeatures@ describes the capabilities of this external format when
      -- used with an image bound to memory imported from @buffer@.
      formatFeatures :: FormatFeatureFlags2
    , -- | @samplerYcbcrConversionComponents@ is the component swizzle that
      -- /should/ be used in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      samplerYcbcrConversionComponents :: ComponentMapping
    , -- | @suggestedYcbcrModel@ is a suggested color model to use in the
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYcbcrModel :: SamplerYcbcrModelConversion
    , -- | @suggestedYcbcrRange@ is a suggested numerical value range to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYcbcrRange :: SamplerYcbcrRange
    , -- | @suggestedXChromaOffset@ is a suggested X chroma offset to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedXChromaOffset :: ChromaLocation
    , -- | @suggestedYChromaOffset@ is a suggested Y chroma offset to use in
      -- 'Vulkan.Core11.Promoted_From_VK_KHR_sampler_ycbcr_conversion.SamplerYcbcrConversionCreateInfo'.
      suggestedYChromaOffset :: ChromaLocation
    }
    deriving (Typeable)
  #if defined(GENERIC_INSTANCES)
  deriving instance Generic (AndroidHardwareBufferFormatProperties2ANDROID)
  #endif
  deriving instance Show AndroidHardwareBufferFormatProperties2ANDROID
  
  instance ToCStruct AndroidHardwareBufferFormatProperties2ANDROID where
    withCStruct x f = allocaBytes 72 $ \p -> pokeCStruct p x (f p)
    pokeCStruct p AndroidHardwareBufferFormatProperties2ANDROID{..} f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_2_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Format)) (format)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (externalFormat)
      poke ((p `plusPtr` 32 :: Ptr FormatFeatureFlags2)) (formatFeatures)
      poke ((p `plusPtr` 40 :: Ptr ComponentMapping)) (samplerYcbcrConversionComponents)
      poke ((p `plusPtr` 56 :: Ptr SamplerYcbcrModelConversion)) (suggestedYcbcrModel)
      poke ((p `plusPtr` 60 :: Ptr SamplerYcbcrRange)) (suggestedYcbcrRange)
      poke ((p `plusPtr` 64 :: Ptr ChromaLocation)) (suggestedXChromaOffset)
      poke ((p `plusPtr` 68 :: Ptr ChromaLocation)) (suggestedYChromaOffset)
      f
    cStructSize = 72
    cStructAlignment = 8
    pokeZeroCStruct p f = do
      poke ((p `plusPtr` 0 :: Ptr StructureType)) (STRUCTURE_TYPE_ANDROID_HARDWARE_BUFFER_FORMAT_PROPERTIES_2_ANDROID)
      poke ((p `plusPtr` 8 :: Ptr (Ptr ()))) (nullPtr)
      poke ((p `plusPtr` 16 :: Ptr Format)) (zero)
      poke ((p `plusPtr` 24 :: Ptr Word64)) (zero)
      poke ((p `plusPtr` 32 :: Ptr FormatFeatureFlags2)) (zero)
      poke ((p `plusPtr` 40 :: Ptr ComponentMapping)) (zero)
      poke ((p `plusPtr` 56 :: Ptr SamplerYcbcrModelConversion)) (zero)
      poke ((p `plusPtr` 60 :: Ptr SamplerYcbcrRange)) (zero)
      poke ((p `plusPtr` 64 :: Ptr ChromaLocation)) (zero)
      poke ((p `plusPtr` 68 :: Ptr ChromaLocation)) (zero)
      f
  
  instance FromCStruct AndroidHardwareBufferFormatProperties2ANDROID where
    peekCStruct p = do
      format <- peek @Format ((p `plusPtr` 16 :: Ptr Format))
      externalFormat <- peek @Word64 ((p `plusPtr` 24 :: Ptr Word64))
      formatFeatures <- peek @FormatFeatureFlags2 ((p `plusPtr` 32 :: Ptr FormatFeatureFlags2))
      samplerYcbcrConversionComponents <- peekCStruct @ComponentMapping ((p `plusPtr` 40 :: Ptr ComponentMapping))
      suggestedYcbcrModel <- peek @SamplerYcbcrModelConversion ((p `plusPtr` 56 :: Ptr SamplerYcbcrModelConversion))
      suggestedYcbcrRange <- peek @SamplerYcbcrRange ((p `plusPtr` 60 :: Ptr SamplerYcbcrRange))
      suggestedXChromaOffset <- peek @ChromaLocation ((p `plusPtr` 64 :: Ptr ChromaLocation))
      suggestedYChromaOffset <- peek @ChromaLocation ((p `plusPtr` 68 :: Ptr ChromaLocation))
      pure $ AndroidHardwareBufferFormatProperties2ANDROID
               format
               externalFormat
               formatFeatures
               samplerYcbcrConversionComponents
               suggestedYcbcrModel
               suggestedYcbcrRange
               suggestedXChromaOffset
               suggestedYChromaOffset
  
  instance Storable AndroidHardwareBufferFormatProperties2ANDROID where
    sizeOf ~_ = 72
    alignment ~_ = 8
    peek = peekCStruct
    poke ptr poked = pokeCStruct ptr poked (pure ())
  
  instance Zero AndroidHardwareBufferFormatProperties2ANDROID where
    zero = AndroidHardwareBufferFormatProperties2ANDROID
             zero
             zero
             zero
             zero
             zero
             zero
             zero
             zero
  
  
  type ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION = 5
  
  -- No documentation found for TopLevel "VK_ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION"
  pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION :: forall a . Integral a => a
  pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_SPEC_VERSION = 5
  
  
  type ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME = "VK_ANDROID_external_memory_android_hardware_buffer"
  
  -- No documentation found for TopLevel "VK_ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME"
  pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
  pattern ANDROID_EXTERNAL_MEMORY_ANDROID_HARDWARE_BUFFER_EXTENSION_NAME = "VK_ANDROID_external_memory_android_hardware_buffer"
  
  
  data AHardwareBuffer
  
  