X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=splice.ml;fp=splice.ml;h=a25d981db1158cf33daf6b3082472c043804af3e;hb=e8c4b9ece4508acb51bf6184f04e66a6a97324d4;hp=0000000000000000000000000000000000000000;hpb=7e6d4cb025ff03b9fee5337b0d87f6849bf1f21c;p=vsys.git diff --git a/splice.ml b/splice.ml new file mode 100644 index 0000000..a25d981 --- /dev/null +++ b/splice.ml @@ -0,0 +1,7 @@ +open Unix + +external splice : Unix.file_descr -> Unix.file_descr -> int -> int + = "stub_splice" + +external sendfile : Unix.file_descr -> Unix.file_descr -> int -> int + = "stub_sendfile"