diff options
author | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-06-28 10:20:33 +0000 |
---|---|---|
committer | ach61@arcadians.cl.cam.ac.uk <ach61@arcadians.cl.cam.ac.uk> | 2005-06-28 10:20:33 +0000 |
commit | da657a9c3ade636b95152f97ea312332621ed7ef (patch) | |
tree | 6d40a937925658027db7ee95644fa9e11ba2366e /tools/debugger | |
parent | 05c95036a586c11176e76d3bad935fc8514e3b04 (diff) | |
download | xen-da657a9c3ade636b95152f97ea312332621ed7ef.tar.gz xen-da657a9c3ade636b95152f97ea312332621ed7ef.tar.bz2 xen-da657a9c3ade636b95152f97ea312332621ed7ef.zip |
bitkeeper revision 1.1764 (42c12471iroiktRDv2QDqEDoIQVDNg)
comments
Diffstat (limited to 'tools/debugger')
-rw-r--r-- | tools/debugger/pdb/Xen_domain.ml | 8 | ||||
-rw-r--r-- | tools/debugger/pdb/Xen_domain.mli | 8 | ||||
-rw-r--r-- | tools/debugger/pdb/pdb_caml_evtchn.c | 8 | ||||
-rw-r--r-- | tools/debugger/pdb/pdb_caml_xcs.c | 11 | ||||
-rw-r--r-- | tools/debugger/pdb/pdb_caml_xen.h | 8 | ||||
-rw-r--r-- | tools/debugger/pdb/xcs.mli | 8 |
6 files changed, 47 insertions, 4 deletions
diff --git a/tools/debugger/pdb/Xen_domain.ml b/tools/debugger/pdb/Xen_domain.ml index d014466448..aeb22307c4 100644 --- a/tools/debugger/pdb/Xen_domain.ml +++ b/tools/debugger/pdb/Xen_domain.ml @@ -1,3 +1,11 @@ +(** Xen_domain.ml + * + * domain assist for debugging processes + * + * @author copyright (c) 2005 alex ho + * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger + * @version 1 + *) type context_t = { diff --git a/tools/debugger/pdb/Xen_domain.mli b/tools/debugger/pdb/Xen_domain.mli index f99df1fd66..ae334dcef5 100644 --- a/tools/debugger/pdb/Xen_domain.mli +++ b/tools/debugger/pdb/Xen_domain.mli @@ -1,3 +1,11 @@ +(** Xen_domain.ml + * + * domain assist for debugging processes + * + * @author copyright (c) 2005 alex ho + * @see <www.cl.cam.ac.uk/netos/pdb> pervasive debugger + * @version 1 + *) type context_t diff --git a/tools/debugger/pdb/pdb_caml_evtchn.c b/tools/debugger/pdb/pdb_caml_evtchn.c index 62707739ca..8a814c3845 100644 --- a/tools/debugger/pdb/pdb_caml_evtchn.c +++ b/tools/debugger/pdb/pdb_caml_evtchn.c @@ -1,3 +1,11 @@ +/* + * pdb_caml_evtchn.c + * + * http://www.cl.cam.ac.uk/netos/pdb + * + * PDB's OCaml interface library for event channels + */ + #include <xc.h> #include <stdio.h> #include <stdlib.h> diff --git a/tools/debugger/pdb/pdb_caml_xcs.c b/tools/debugger/pdb/pdb_caml_xcs.c index 61944420b2..84fba85abc 100644 --- a/tools/debugger/pdb/pdb_caml_xcs.c +++ b/tools/debugger/pdb/pdb_caml_xcs.c @@ -1,12 +1,15 @@ /* - * xcs stuff + * xcs stuff * - * this is responsible for establishing the initial connection - * between a backend domain and the pdb server. + * http://www.cl.cam.ac.uk/netos/pdb * - * liberated from xu.c + * this is responsible for establishing the initial connection + * between a backend domain and the pdb server. + * + * liberated from xu.c * */ + #include <stdio.h> #include <stdlib.h> #include <unistd.h> diff --git a/tools/debugger/pdb/pdb_caml_xen.h b/tools/debugger/pdb/pdb_caml_xen.h index b21bf938e6..2d9a160708 100644 --- a/tools/debugger/pdb/pdb_caml_xen.h +++ b/tools/debugger/pdb/pdb_caml_xen.h @@ -1,3 +1,11 @@ +/* + * pdb_caml_xen.h + * + * http://www.cl.cam.ac.uk/netos/pdb + * + * generic xen definitions + * + */ #ifndef _PDB_CAML_XEN_DEFINED_ #define _PDB_CAML_XEN_DEFINED_ diff --git a/tools/debugger/pdb/xcs.mli b/tools/debugger/pdb/xcs.mli index 98ea606e5e..2a76edfbc3 100644 --- a/tools/debugger/pdb/xcs.mli +++ b/tools/debugger/pdb/xcs.mli @@ -1,3 +1,11 @@ +(** 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 |