Lines Matching refs:next
17 uint32_t next = iter.Next();
21 SANDBOX_ASSERT(next == 0);
23 for (uint32_t last = next; !iter.Done(); last = next) {
24 next = iter.Next();
25 SANDBOX_ASSERT(last < next);
28 SANDBOX_ASSERT(next == 0xFFFFFFFFu);
34 uint32_t next = iter.Next();
41 SANDBOX_ASSERT(next == MIN_SYSCALL);
42 for (uint32_t last = next; next < MAX_PUBLIC_SYSCALL + 1; last = next) {
43 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
45 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
51 uint32_t next = iter.Next();
52 while (next < MIN_PRIVATE_SYSCALL - 1) {
53 next = iter.Next();
57 SANDBOX_ASSERT(next == MIN_PRIVATE_SYSCALL - 1);
58 for (uint32_t last = next; next < MAX_PRIVATE_SYSCALL + 1; last = next) {
59 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
61 SANDBOX_ASSERT(next == MAX_PRIVATE_SYSCALL + 1);
66 uint32_t next = iter.Next();
67 while (next < MIN_GHOST_SYSCALL - 1) {
68 next = iter.Next();
72 SANDBOX_ASSERT(next == MIN_GHOST_SYSCALL - 1);
73 for (uint32_t last = next; next < MAX_SYSCALL + 1; last = next) {
74 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
76 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);
84 uint32_t next = iter.Next();
86 while (next < MAX_SYSCALL + 1) {
87 next = iter.Next();
90 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);
91 while (next < 0x7FFFFFFFu) {
92 next = iter.Next();
96 SANDBOX_ASSERT(next == 0x7FFFFFFFu);
97 next = iter.Next();
98 SANDBOX_ASSERT(next == 0x80000000u);
100 next = iter.Next();
102 SANDBOX_ASSERT(next == 0xFFFFFFFFu);
109 uint32_t next = iter.Next();
114 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
117 next = iter.Next();
119 SANDBOX_ASSERT(next == MIN_PRIVATE_SYSCALL - 1);
120 while (next <= MAX_PRIVATE_SYSCALL) {
121 next = iter.Next();
124 next = iter.Next();
126 SANDBOX_ASSERT(next == MIN_GHOST_SYSCALL - 1);
127 while (next <= MAX_SYSCALL) {
128 next = iter.Next();
130 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);