1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#include <common/test.h>
START(pid, tid, d0, d1, d2, d3)
{
UNUSED(d2);
UNUSED(d3);
printf("pid = %ld, tid = %ld, d0 = %ld, d1 = %ld\n",
pid, tid, d0, d1);
check(pid == 0, "unexpected pid for spawn\n");
check(tid == 2, "unexpected tid for spawn\n");
check(d0 == SYS_USER_SPAWNED, "unexpected d0 for spawn\n");
check(d1 == 2, "unexpected d1 for spawn\n");
printf("causing shutdown, assuming init gave us CAP_POWER\n");
ok();
}
|
