1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
/*
* pervasive debugger
* www.cl.cam.ac.uk/netos/pdb
*
* alex ho
* 2004
* university of cambridge computer laboratory
*
* code adapted originally from kgdb, nemesis, & gdbserver
*/
#include <xen/lib.h>
#include <xen/sched.h>
#include <asm/ptrace.h>
#include <xen/keyhandler.h>
#include <asm/processor.h>
#include <asm/pdb.h>
#include <xen/list.h>
#include <xen/serial.h>
#define __PDB_GET_VAL 1
#define __PDB_SET_VAL 2
/*
* Read or write memory in an address space
*/
int pdb_change_values(u_char *buffer, int length,
unsigned long cr3, unsigned long addr, int rw)
{
dummy();
return 0;
}
/*
* Set memory in a domain's address space
* Set "length" bytes at "address" from "domain" to the values in "buffer".
* Return the number of bytes set, 0 if there was a problem.
*/
int pdb_set_values(u_char *buffer, int length,
unsigned long cr3, unsigned long addr)
{
int count = pdb_change_values(buffer, length, cr3, addr, __PDB_SET_VAL);
return count;
}
/*
* Read memory from a domain's address space.
* Fetch "length" bytes at "address" from "domain" into "buffer".
* Return the number of bytes read, 0 if there was a problem.
*/
int pdb_get_values(u_char *buffer, int length,
unsigned long cr3, unsigned long addr)
{
return pdb_change_values(buffer, length, cr3, addr, __PDB_GET_VAL);
}
|
