diff options
Diffstat (limited to 'tools/ocaml/libs/xb/xs_ring.ml')
| -rw-r--r-- | tools/ocaml/libs/xb/xs_ring.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ocaml/libs/xb/xs_ring.ml b/tools/ocaml/libs/xb/xs_ring.ml index 00c18d5dbc..9469609018 100644 --- a/tools/ocaml/libs/xb/xs_ring.ml +++ b/tools/ocaml/libs/xb/xs_ring.ml @@ -14,5 +14,5 @@ * GNU Lesser General Public License for more details. *) -external read: Mmap.mmap_interface -> string -> int -> int = "ml_interface_read" -external write: Mmap.mmap_interface -> string -> int -> int = "ml_interface_write" +external read: Xenmmap.mmap_interface -> string -> int -> int = "ml_interface_read" +external write: Xenmmap.mmap_interface -> string -> int -> int = "ml_interface_write" |