Files
xen/tools/debugger/libxendebug/xendebug.h
T
cl349@firebug.cl.cam.ac.uk 60eb663513 Rename libxc => libxenctrl and xc.h => xen/xenctrl.h
Signed-off-by: Anthony Liguori <aliguori@us.ibm.com>
Signed-off-by: Christian Limpach <Christian.Limpach@cl.cam.ac.uk>


--HG--
rename : tools/libxc/xc.h => tools/libxc/xenctrl.h
2005-08-24 23:07:29 +00:00

79 lines
1.4 KiB
C

/*
* xendebug.h
*
* alex ho
* http://www.cl.cam.ac.uk/netos/pdb
*
*/
#ifndef _XENDEBUG_H_DEFINED
#define _XENDEBUG_H_DEFINED
#include <xenctrl.h>
int xendebug_attach(int xc_handle,
u32 domid,
u32 vcpu);
int xendebug_detach(int xc_handle,
u32 domid,
u32 vcpu);
int xendebug_read_registers(int xc_handle,
u32 domid,
u32 vcpu,
cpu_user_regs_t **regs);
int xendebug_read_fpregisters (int xc_handle,
u32 domid,
u32 vcpu,
char **regs);
int xendebug_write_registers(int xc_handle,
u32 domid,
u32 vcpu,
cpu_user_regs_t *regs);
int xendebug_step(int xc_handle,
u32 domid,
u32 vcpu);
int xendebug_continue(int xc_handle,
u32 domid,
u32 vcpu);
int xendebug_read_memory(int xc_handle,
u32 domid,
u32 vcpu,
unsigned long address,
u32 length,
u8 *data);
int xendebug_write_memory(int xc_handle,
u32 domid,
u32 vcpu,
unsigned long address,
u32 length,
u8 *data);
int xendebug_insert_memory_breakpoint(int xc_handle,
u32 domid,
u32 vcpu,
unsigned long address,
u32 length);
int xendebug_remove_memory_breakpoint(int xc_handle,
u32 domid,
u32 vcpu,
unsigned long address,
u32 length);
int xendebug_query_domain_stop(int xc_handle,
int *dom_list,
int dom_list_size);
#endif /* _XENDEBUG_H_DEFINED */