Searched refs:nw (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.c | 83 struct w_window *nw = kmalloc(sizeof(struct w_window)); local
84 if (!nw) {
88 memset(nw, 0, sizeof(struct w_window));
89 nw->magic = W_MAGIC;
90 nw->wID = id;
91 nw->parentList = (struct w_list*) oat;
92 nw->pagerPID = PID_NULL;
93 assert(nw->parentList->magic == W_LIST_MAGIC);
96 nw->capability = procserv_mint_badge(W_BADGE_BASE + id);
97 if (!nw
[all...] |
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.c | 83 struct w_window *nw = kmalloc(sizeof(struct w_window)); local
84 if (!nw) {
88 memset(nw, 0, sizeof(struct w_window));
89 nw->magic = W_MAGIC;
90 nw->wID = id;
91 nw->parentList = (struct w_list*) oat;
92 nw->pagerPID = PID_NULL;
93 assert(nw->parentList->magic == W_LIST_MAGIC);
96 nw->capability = procserv_mint_badge(W_BADGE_BASE + id);
97 if (!nw
[all...] |
| /seL4-refos-master/libs/libmuslc/src/string/ |
| H A D | memmem.c | 7 uint16_t nw = n[0]<<8 | n[1], hw = h[0]<<8 | h[1]; local
9 if (hw == nw) return (char *)h-1;
15 uint32_t nw = n[0]<<24 | n[1]<<16 | n[2]<<8; local
18 if (hw == nw) return (char *)h-2;
24 uint32_t nw = n[0]<<24 | n[1]<<16 | n[2]<<8 | n[3]; local
27 if (hw == nw) return (char *)h-3;
|
| H A D | strstr.c | 6 uint16_t nw = n[0]<<8 | n[1], hw = h[0]<<8 | h[1]; local
7 for (h++; *h && hw != nw; hw = hw<<8 | *++h);
13 uint32_t nw = n[0]<<24 | n[1]<<16 | n[2]<<8; local
15 for (h+=2; *h && hw != nw; hw = (hw|*++h)<<8);
21 uint32_t nw = n[0]<<24 | n[1]<<16 | n[2]<<8 | n[3]; local
23 for (h+=3; *h && hw != nw; hw = hw<<8 | *++h);
|
| /seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
| H A D | test_user.c | 327 int nw = fwrite("abc", 1, 3, testFile); local
328 test_assert(nw == 3);
335 int nw = write(fileno(testFile), temp, 20480); local
336 test_assert(nw == 20480);
|
| /seL4-refos-master/apps/test_user/src/ |
| H A D | test_user.c | 327 int nw = fwrite("abc", 1, 3, testFile); local
328 test_assert(nw == 3);
335 int nw = write(fileno(testFile), temp, 20480); local
336 test_assert(nw == 20480);
|
Completed in 34 milliseconds