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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
#include "syslib.h"
int sys_vmctl(endpoint_t who, int param, u32_t value)
{
message m;
int r;
m.SVMCTL_WHO = who;
m.SVMCTL_PARAM = param;
m.SVMCTL_VALUE = value;
r = _kernel_call(SYS_VMCTL, &m);
return(r);
}
/* Get page directory base register */
int sys_vmctl_get_pdbr(endpoint_t who, u32_t *pdbr)
{
message m;
int r;
m.SVMCTL_WHO = who;
m.SVMCTL_PARAM = VMCTL_GET_PDBR;
r = _kernel_call(SYS_VMCTL, &m);
if(r == OK) {
*pdbr = m.SVMCTL_VALUE;
}
return(r);
}
int sys_vmctl_set_addrspace(endpoint_t who,
phys_bytes ptroot, void *ptroot_v)
{
message m;
int r;
m.SVMCTL_WHO = who;
m.SVMCTL_PARAM = VMCTL_SETADDRSPACE;
m.SVMCTL_PTROOT = ptroot;
m.SVMCTL_PTROOT_V = ptroot_v;
r = _kernel_call(SYS_VMCTL, &m);
return(r);
}
int sys_vmctl_get_memreq(endpoint_t *who, vir_bytes *mem,
vir_bytes *len, int *wrflag, endpoint_t *who_s, vir_bytes *mem_s,
endpoint_t *requestor)
{
message m;
int r;
m.SVMCTL_WHO = SELF;
m.SVMCTL_PARAM = VMCTL_MEMREQ_GET;
r = _kernel_call(SYS_VMCTL, &m);
if(r >= 0) {
*who = m.SVMCTL_MRG_TARGET;
*mem = m.SVMCTL_MRG_ADDR;
*len = m.SVMCTL_MRG_LENGTH;
*wrflag = m.SVMCTL_MRG_FLAG;
*who_s = m.SVMCTL_MRG_EP2;
*mem_s = m.SVMCTL_MRG_ADDR2;
*requestor = (endpoint_t) m.SVMCTL_MRG_REQUESTOR;
}
return r;
}
int sys_vmctl_get_mapping(int index,
phys_bytes *addr, phys_bytes *len, int *flags)
{
int r;
message m;
m.SVMCTL_WHO = SELF;
m.SVMCTL_PARAM = VMCTL_KERN_PHYSMAP;
m.SVMCTL_VALUE = (int) index;
r = _kernel_call(SYS_VMCTL, &m);
if(r != OK)
return r;
*addr = m.SVMCTL_MAP_PHYS_ADDR;
*len = m.SVMCTL_MAP_PHYS_LEN;
*flags = m.SVMCTL_MAP_FLAGS;
return OK;
}
int sys_vmctl_reply_mapping(int index, vir_bytes addr)
{
message m;
m.SVMCTL_WHO = SELF;
m.SVMCTL_PARAM = VMCTL_KERN_MAP_REPLY;
m.SVMCTL_VALUE = index;
m.SVMCTL_MAP_VIR_ADDR = (char *) addr;
return _kernel_call(SYS_VMCTL, &m);
}
|
