diff options
Diffstat (limited to 'tools/debugger/pdb/xcs.mli')
-rw-r--r-- | tools/debugger/pdb/xcs.mli | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/debugger/pdb/xcs.mli b/tools/debugger/pdb/xcs.mli deleted file mode 100644 index 2a76edfbc3..0000000000 --- a/tools/debugger/pdb/xcs.mli +++ /dev/null @@ -1,13 +0,0 @@ -(** xcs.mli - * - * xen control switch interface - * - * @author copyright (c) 2005 alex ho - * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger - * @version 1 - *) - - -val setup : unit -> Unix.file_descr -val read : Unix.file_descr -> Unix.file_descr * int * int * int32 -val teardown : Unix.file_descr -> unit |