1
(* $Id: netsys_xdr.ml 1355 2009-12-10 21:39:01Z gerd $ *)
3
external s_read_int4_64_unsafe : string -> int -> int
4
= "netsys_s_read_int4_64" "noalloc"
6
external s_write_int4_64_unsafe : string -> int -> int -> unit
7
= "netsys_s_write_int4_64" "noalloc"
9
external s_read_string_array_unsafe :
10
string -> int -> int -> int32 -> string array -> int
11
= "netsys_s_read_string_array"