55 #define	assert(exp)	KASSERT((exp), ("%s:%u", __func__, __LINE__))  macro
170 	assert(idx >= 0 && idx < sizeof(bit2idx) / sizeof(bit2idx[0]));  in right_to_index()
180 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_vset()
183 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_vset()
189 		assert(CAPRVER(right) == 0);  in cap_rights_vset()
191 		assert(i >= 0);  in cap_rights_vset()
192 		assert(i < n);  in cap_rights_vset()
193 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
195 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
205 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_vclear()
208 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_vclear()
214 		assert(CAPRVER(right) == 0);  in cap_rights_vclear()
216 		assert(i >= 0);  in cap_rights_vclear()
217 		assert(i < n);  in cap_rights_vclear()
218 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
220 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
230 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_is_vset()
233 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_is_vset()
239 		assert(CAPRVER(right) == 0);  in cap_rights_is_vset()
241 		assert(i >= 0);  in cap_rights_is_vset()
242 		assert(i < n);  in cap_rights_is_vset()
243 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_is_vset()
257 	assert(version == CAP_RIGHTS_VERSION_00);  in __cap_rights_init()
260 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in __cap_rights_init()
274 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_set()
288 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_clear()
303 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_is_set()
345 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);  in cap_rights_merge()
346 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);  in cap_rights_merge()
347 	assert(CAPVER(dst) == CAPVER(src));  in cap_rights_merge()
348 	assert(cap_rights_is_valid(src));  in cap_rights_merge()
349 	assert(cap_rights_is_valid(dst));  in cap_rights_merge()
352 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_merge()
357 	assert(cap_rights_is_valid(src));  in cap_rights_merge()
358 	assert(cap_rights_is_valid(dst));  in cap_rights_merge()
368 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);  in cap_rights_remove()
369 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);  in cap_rights_remove()
370 	assert(CAPVER(dst) == CAPVER(src));  in cap_rights_remove()
371 	assert(cap_rights_is_valid(src));  in cap_rights_remove()
372 	assert(cap_rights_is_valid(dst));  in cap_rights_remove()
375 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_remove()
382 	assert(cap_rights_is_valid(src));  in cap_rights_remove()
383 	assert(cap_rights_is_valid(dst));  in cap_rights_remove()
394 	assert(CAPVER(big) == CAP_RIGHTS_VERSION_00);  in cap_rights_contains()
395 	assert(CAPVER(little) == CAP_RIGHTS_VERSION_00);  in cap_rights_contains()
396 	assert(CAPVER(big) == CAPVER(little));  in cap_rights_contains()
399 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_contains()