Lines Matching defs:next
20 uint32_t next = iter.Next();
24 SANDBOX_ASSERT(next == 0);
26 for (uint32_t last = next; !iter.Done(); last = next) {
27 next = iter.Next();
28 SANDBOX_ASSERT(last < next);
31 SANDBOX_ASSERT(next == 0xFFFFFFFFu);
38 uint32_t next = iter.Next();
39 SANDBOX_ASSERT(next == 0);
42 next = iter.Next();
43 SANDBOX_ASSERT(next == MIN_SYSCALL - 1);
47 for (uint32_t last = next; next < MAX_PUBLIC_SYSCALL + 1; last = next) {
48 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
50 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
55 uint32_t next = iter.Next();
62 SANDBOX_ASSERT(next == MIN_SYSCALL);
63 for (uint32_t last = next; next < MAX_PUBLIC_SYSCALL + 1; last = next) {
64 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
66 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
73 uint32_t next = iter.Next();
74 while (next < MIN_PRIVATE_SYSCALL - 1) {
75 next = iter.Next();
79 SANDBOX_ASSERT(next == MIN_PRIVATE_SYSCALL - 1);
80 for (uint32_t last = next; next < MAX_PRIVATE_SYSCALL + 1; last = next) {
81 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
83 SANDBOX_ASSERT(next == MAX_PRIVATE_SYSCALL + 1);
88 uint32_t next = iter.Next();
89 while (next < MIN_GHOST_SYSCALL - 1) {
90 next = iter.Next();
94 SANDBOX_ASSERT(next == MIN_GHOST_SYSCALL - 1);
95 for (uint32_t last = next; next < MAX_SYSCALL + 1; last = next) {
96 SANDBOX_ASSERT((next = iter.Next()) == last + 1);
98 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);
106 uint32_t next = iter.Next();
108 while (next < MAX_SYSCALL + 1) {
109 next = iter.Next();
112 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);
113 while (next < 0x7FFFFFFFu) {
114 next = iter.Next();
118 SANDBOX_ASSERT(next == 0x7FFFFFFFu);
119 next = iter.Next();
120 SANDBOX_ASSERT(next == 0x80000000u);
122 next = iter.Next();
124 SANDBOX_ASSERT(next == 0xFFFFFFFFu);
132 uint32_t next = iter.Next();
133 SANDBOX_ASSERT(next == 0);
139 next = iter.Next();
140 SANDBOX_ASSERT(next == MIN_SYSCALL - 1);
141 next = iter.Next();
142 // First next invalid syscall should then be |MAX_PUBLIC_SYSCALL + 1|.
143 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
151 uint32_t next = iter.Next();
156 SANDBOX_ASSERT(next == MAX_PUBLIC_SYSCALL + 1);
159 next = iter.Next();
161 SANDBOX_ASSERT(next == MIN_PRIVATE_SYSCALL - 1);
162 while (next <= MAX_PRIVATE_SYSCALL) {
163 next = iter.Next();
166 next = iter.Next();
168 SANDBOX_ASSERT(next == MIN_GHOST_SYSCALL - 1);
169 while (next <= MAX_SYSCALL) {
170 next = iter.Next();
172 SANDBOX_ASSERT(next == MAX_SYSCALL + 1);