4 #define VA ((char *) 0xA0000000)
5 const char *msg
= "hello, world\n";
6 const char *msg2
= "goodbye, world\n";
8 void childofspawn(void);
11 umain(int argc
, char **argv
)
18 if ((r
= sys_page_alloc(0, VA
, PTE_P
|PTE_W
|PTE_U
|PTE_SHARE
)) < 0)
19 panic("sys_page_alloc: %e", r
);
29 cprintf("fork handles PTE_SHARE %s\n", strcmp(VA
, msg
) == 0 ? "right" : "wrong");
32 if ((r
= spawnl("/testpteshare", "testpteshare", "arg", 0)) < 0)
33 panic("spawn: %e", r
);
35 cprintf("spawn handles PTE_SHARE %s\n", strcmp(VA
, msg2
) == 0 ? "right" : "wrong");