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
100
101
102
103
104
105
106
107
108
109
110
111
112
|
#include "hal/memory.h"
#include "jove.h"
#include "lib/printf.h"
#include "syscall.h"
static int
s_syscall_pagedir_map(
jove_owned_obj_t *objdir,
jove_owned_obj_t *target_obj,
size_t payload_bytes,
void *payload_data,
jove_owned_obj_t **untyped_ret)
{
size_t bytes_needed = sizeof(struct syscall_pagedir_map);
CHECK_TOOSMALL(bytes_needed, payload_bytes,
"Message too small for payload.");
struct syscall_pagedir_map *payload = payload_data;
if(payload->virtual_address > 0xFFFF800000000000ULL) {
kprintf("%s: Virtual address is above user limit.\n", __func__);
return EBADARG;
}
bytes_needed += payload->untyped_pathlen << 1;
CHECK_TOOSMALL(bytes_needed, payload_bytes,
"Message too small for untyped path.");
errno = 0;
jove_owned_obj_t *untyped_obj = objdir_getobj(objdir,
payload->untyped_path, payload->untyped_pathlen);
if(errno) {
kprintf("%s: Untyped path does not point to a valid object.\n", __func__);
return errno;
}
CHECK_OBJTYPE(untyped_obj, JOVE_OBJ_UNTYPED,
"Untyped path does not point to an untyped object.");
jove_untyped_t *untyped_data = obj_deref(untyped_obj);
if((uintptr_t)untyped_data & 0xFFF) {
kprintf("%s: Untyped object is not page aligned.\n", __func__);
obj_release(untyped_obj);
return EALIGN;
}
if(untyped_data->limit != 0x1000) {
kprintf("%s: Untyped object is not page sized.\n", __func__);
obj_release(untyped_obj);
return EBADSIZE;
}
*untyped_ret = untyped_obj;
return 0;
}
static int
s_syscall_pagedir_map_frame(
jove_owned_obj_t *objdir,
jove_owned_obj_t *target_obj,
size_t payload_bytes,
void *payload_data)
{
jove_owned_obj_t *untyped_obj = NULL;
int sysret = s_syscall_pagedir_map(objdir, target_obj, payload_bytes, payload_data, &untyped_obj);
if(sysret != 0) {
return sysret;
}
struct syscall_pagedir_map *payload = payload_data;
sysret = pagedir_map_frame(target_obj, untyped_obj, payload->virtual_address, payload->flags);
obj_release(untyped_obj);
return sysret;
}
static int
s_syscall_pagedir_map_table(
jove_owned_obj_t *objdir,
jove_owned_obj_t *target_obj,
size_t payload_bytes,
void *payload_data)
{
jove_owned_obj_t *untyped_obj = NULL;
int sysret = s_syscall_pagedir_map(objdir, target_obj, payload_bytes, payload_data, &untyped_obj);
if(sysret != 0) {
return sysret;
}
struct syscall_pagedir_map *payload = payload_data;
sysret = pagedir_map_frame(target_obj, untyped_obj, payload->virtual_address, payload->flags);
obj_release(untyped_obj);
return sysret;
}
int
_syscall_handle_pagedir(
jove_owned_obj_t *pcb_obj,
jove_owned_obj_t *objdir,
jove_owned_obj_t *message_obj,
jove_owned_obj_t *target_obj,
struct syscall_header *header,
size_t bytes_left,
void *payload)
{
switch(header->callid) {
case SYSCALL_PAGEDIR_MAP_FRAME:
return s_syscall_pagedir_map_frame(objdir, target_obj, bytes_left, payload);
case SYSCALL_PAGEDIR_MAP_TABLE:
return s_syscall_pagedir_map_table(objdir, target_obj, bytes_left, payload);
default:
kprintf("syscall_handle_pagedir: Pagedir does not support syscall %i\n", header->callid);
return EBADARG;
}
}
|
