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