Lines Matching full:assert
44 #include <assert.h>
52 #define assert(exp) KASSERT((exp), ("%s:%u", __func__, __LINE__))
169 assert(idx >= 0 && idx < sizeof(bit2idx) / sizeof(bit2idx[0]));
179 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
182 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
188 assert(CAPRVER(right) == 0);
190 assert(i >= 0);
191 assert(i < n);
192 assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
194 assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
204 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
207 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
213 assert(CAPRVER(right) == 0);
215 assert(i >= 0);
216 assert(i < n);
217 assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
219 assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
229 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
232 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
238 assert(CAPRVER(right) == 0);
240 assert(i >= 0);
241 assert(i < n);
242 assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
256 assert(version == CAP_RIGHTS_VERSION_00);
259 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
273 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
287 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
302 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
319 assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
320 assert(CAPVER(&cap_no_rights) == CAP_RIGHTS_VERSION_00);
363 assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);
364 assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);
365 assert(CAPVER(dst) == CAPVER(src));
366 assert(cap_rights_is_valid(src));
367 assert(cap_rights_is_valid(dst));
370 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
375 assert(cap_rights_is_valid(src));
376 assert(cap_rights_is_valid(dst));
386 assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);
387 assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);
388 assert(CAPVER(dst) == CAPVER(src));
389 assert(cap_rights_is_valid(src));
390 assert(cap_rights_is_valid(dst));
393 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
400 assert(cap_rights_is_valid(src));
401 assert(cap_rights_is_valid(dst));
412 assert(CAPVER(big) == CAP_RIGHTS_VERSION_00);
413 assert(CAPVER(little) == CAP_RIGHTS_VERSION_00);
414 assert(CAPVER(big) == CAPVER(little));
417 assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);