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
|
#include <common/test.h>
START(pid, tid, d0, d1, d2, d3)
{
check(pid == 0 || pid == 1, "illegal pid for init");
if (pid == 0) {
printf("doing nonsense response\n");
enum sys_status s = sys_ipc_resp0();
check(s != OK, "OK return?\n");
for (size_t i = 0; i < 3; ++i) {
printf("sending ipc req %zd to ourselves\n", i);
struct sys_ret r = sys_ipc_req4(1, 1, 2, 3, 4);
printf("returned ipc req to ourselves\n");
check(r.s == OK, "not OK return\n");
check(r.id == 1, "not OK response ID\n");
check(r.a0 == 1, "not OK d0 response\n");
check(r.a1 == 2, "not OK d1 response\n");
check(r.a2 == 3, "not OK d2 response\n");
check(r.a3 == 4, "not OK d3 response\n");
}
/* try to request to non-existing proc */
struct sys_ret r = sys_ipc_req0(200);
check(r.s != OK, "got OK return for illegal pid\n");
}
else if (pid == 1) {
printf("caught ipc req\n");
check(pid == 1, "illegal pid source\n");
check(tid == 1, "illegal tid source\n");
check(d0 == 1, "illegal d0\n");
check(d1 == 2, "illegal d1\n");
check(d2 == 3, "illegal d2\n");
check(d3 == 4, "illegal d3\n");
printf("sending response\n");
sys_ipc_resp4(1, 2, 3, 4);
}
ok();
}
|
