Async (sarek-vulkan.Sarek_vulkan.Vulkan_plugin

type device = Device.t

type stream = Stream.t

type event = Event.t

type 'a buffer = 'a Memory.buffer

val support : Spoc_framework.Framework_sig.async_support

val host_to_device : 
  src_ptr:nativeint ->
  dst:'a Sarek_vulkan.Vulkan_api.Transfer.Memory.buffer ->
  dst_offset:int ->
  byte_size:int ->
  stream:'b ->
  unit

val device_to_host : 
  src:'a Sarek_vulkan.Vulkan_api.Transfer.Memory.buffer ->
  src_offset:int ->
  dst_ptr:nativeint ->
  byte_size:int ->
  stream:'b ->
  unit

val stream_wait_event : 
  Sarek_vulkan.Vulkan_api.Event.Stream.t ->
  Sarek_vulkan.Vulkan_api.Event.t ->
  unit

val event_query : Sarek_vulkan.Vulkan_api.Event.t -> bool

val alloc_pinned : 
  Sarek_vulkan.Vulkan_api.Host.Device.t ->
  byte_size:int ->
  nativeint

val free_pinned : Sarek_vulkan.Vulkan_api.Host.Device.t -> nativeint -> unit

val register_host : 
  Sarek_vulkan.Vulkan_api.Host.Device.t ->
  nativeint ->
  byte_size:int ->
  unit

val unregister_host : 
  Sarek_vulkan.Vulkan_api.Host.Device.t ->
  nativeint ->
  unit