Async (sarek-cuda.Sarek_cuda.Cuda

val offset_dptr : Cuda_types.cu_deviceptr -> int -> Unsigned.UInt64.t

val check_range : 
  string ->
  'a Memory.buffer ->
  off:int ->
  byte_size:int ->
  unit

val check_stream_device : string -> Stream.t -> Device.t -> unit

val host_to_device : 
  src_ptr:nativeint ->
  dst:'a Memory.buffer ->
  dst_offset:int ->
  byte_size:int ->
  stream:Stream.t option ->
  unit

val device_to_host : 
  src:'a Memory.buffer ->
  src_offset:int ->
  dst_ptr:nativeint ->
  byte_size:int ->
  stream:Stream.t option ->
  unit

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

val event_query : Event.t -> bool

val alloc_pinned : Device.t -> byte_size:int -> nativeint

val free_pinned : Device.t -> nativeint -> unit

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

val unregister_host : Device.t -> nativeint -> unit