Plasma GitLab Archive
Projects Blog Knowledge

sig
  type memory = Netsys_types.memory
  val blit_memory_to_string :
    Netsys_mem.memory -> int -> string -> int -> int -> unit
  val blit_string_to_memory :
    string -> int -> Netsys_mem.memory -> int -> int -> unit
  val memory_address : Netsys_mem.memory -> nativeint
  val getpagesize : unit -> int
  val alloc_memory_pages : ?addr:nativeint -> int -> Netsys_mem.memory
  val alloc_aligned_memory : int -> int -> Netsys_mem.memory
  val memory_map_file :
    Unix.file_descr ->
    ?pos:int64 -> ?addr:nativeint -> bool -> int -> Netsys_mem.memory
  val memory_unmap_file : Netsys_mem.memory -> unit
  val zero_pages : Netsys_mem.memory -> int -> int -> unit
  val as_value : Netsys_mem.memory -> int -> 'a
  val value_area : Netsys_mem.memory -> unit
  val cmp_string : string -> string -> int
  exception Out_of_space
  val init_string : Netsys_mem.memory -> int -> int -> int * int
  val init_string_bytelen : int -> int
  type custom_ops = nativeint
  type init_value_flag =
      Copy_bigarray
    | Copy_custom_int
    | Copy_atom
    | Copy_simulate
  val init_value :
    ?targetaddr:nativeint ->
    ?target_custom_ops:(string * Netsys_mem.custom_ops) list ->
    Netsys_mem.memory ->
    int -> '-> Netsys_mem.init_value_flag list -> int * int
  val get_custom_ops : '-> string * Netsys_mem.custom_ops
  val copy_value : Netsys_mem.init_value_flag list -> '-> 'a
  val mem_read : Unix.file_descr -> Netsys_mem.memory -> int -> int -> int
  val mem_write : Unix.file_descr -> Netsys_mem.memory -> int -> int -> int
  val mem_recv :
    Unix.file_descr ->
    Netsys_mem.memory -> int -> int -> Unix.msg_flag list -> int
  val mem_send :
    Unix.file_descr ->
    Netsys_mem.memory -> int -> int -> Unix.msg_flag list -> int
  type memory_pool
  val create_pool : int -> Netsys_mem.memory_pool
  val pool_alloc_memory : Netsys_mem.memory_pool -> Netsys_mem.memory
  val pool_block_size : Netsys_mem.memory_pool -> int
  val default_pool : Netsys_mem.memory_pool
  val pool_report : Netsys_mem.memory_pool -> string
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml