ia64/xen-unstable

view tools/debugger/libxendebug/xendebug.h @ 6427:3428d58a85e1

merge?
author cl349@firebug.cl.cam.ac.uk
date Thu Aug 25 14:41:52 2005 +0000 (2005-08-25)
parents 4abd299ef2f6 6e899a3840b2
children b54144915ae6
line source
1 /*
2 * xendebug.h
3 *
4 * alex ho
5 * http://www.cl.cam.ac.uk/netos/pdb
6 *
7 */
9 #ifndef _XENDEBUG_H_DEFINED
10 #define _XENDEBUG_H_DEFINED
12 #include <xenctrl.h>
14 int xendebug_attach(int xc_handle,
15 u32 domid,
16 u32 vcpu);
18 int xendebug_detach(int xc_handle,
19 u32 domid,
20 u32 vcpu);
22 int xendebug_read_registers(int xc_handle,
23 u32 domid,
24 u32 vcpu,
25 cpu_user_regs_t **regs);
27 int xendebug_read_fpregisters (int xc_handle,
28 u32 domid,
29 u32 vcpu,
30 char **regs);
32 int xendebug_write_registers(int xc_handle,
33 u32 domid,
34 u32 vcpu,
35 cpu_user_regs_t *regs);
37 int xendebug_step(int xc_handle,
38 u32 domid,
39 u32 vcpu);
41 int xendebug_continue(int xc_handle,
42 u32 domid,
43 u32 vcpu);
45 int xendebug_read_memory(int xc_handle,
46 u32 domid,
47 u32 vcpu,
48 unsigned long address,
49 u32 length,
50 u8 *data);
53 int xendebug_write_memory(int xc_handle,
54 u32 domid,
55 u32 vcpu,
56 unsigned long address,
57 u32 length,
58 u8 *data);
61 int xendebug_insert_memory_breakpoint(int xc_handle,
62 u32 domid,
63 u32 vcpu,
64 unsigned long address,
65 u32 length);
67 int xendebug_remove_memory_breakpoint(int xc_handle,
68 u32 domid,
69 u32 vcpu,
70 unsigned long address,
71 u32 length);
73 int xendebug_query_domain_stop(int xc_handle,
74 int *dom_list,
75 int dom_list_size);
78 #endif /* _XENDEBUG_H_DEFINED */