52 #define	assert(exp)	KASSERT((exp), ("%s:%u", __func__, __LINE__))  macro
128 	assert(idx >= 0 && idx < sizeof(bit2idx) / sizeof(bit2idx[0]));  in right_to_index()
138 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_vset()
141 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_vset()
147 		assert(CAPRVER(right) == 0);  in cap_rights_vset()
149 		assert(i >= 0);  in cap_rights_vset()
150 		assert(i < n);  in cap_rights_vset()
151 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
153 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
163 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_vclear()
166 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_vclear()
172 		assert(CAPRVER(right) == 0);  in cap_rights_vclear()
174 		assert(i >= 0);  in cap_rights_vclear()
175 		assert(i < n);  in cap_rights_vclear()
176 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
178 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
188 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_is_vset()
191 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_is_vset()
197 		assert(CAPRVER(right) == 0);  in cap_rights_is_vset()
199 		assert(i >= 0);  in cap_rights_is_vset()
200 		assert(i < n);  in cap_rights_is_vset()
201 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_is_vset()
215 	assert(version == CAP_RIGHTS_VERSION_00);  in __cap_rights_init()
218 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in __cap_rights_init()
232 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_set()
246 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_clear()
261 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in __cap_rights_is_set()
278 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_is_empty()
279 	assert(CAPVER(&cap_no_rights) == CAP_RIGHTS_VERSION_00);  in cap_rights_is_empty()
322 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);  in cap_rights_merge()
323 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);  in cap_rights_merge()
324 	assert(CAPVER(dst) == CAPVER(src));  in cap_rights_merge()
325 	assert(cap_rights_is_valid(src));  in cap_rights_merge()
326 	assert(cap_rights_is_valid(dst));  in cap_rights_merge()
329 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_merge()
334 	assert(cap_rights_is_valid(src));  in cap_rights_merge()
335 	assert(cap_rights_is_valid(dst));  in cap_rights_merge()
345 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);  in cap_rights_remove()
346 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);  in cap_rights_remove()
347 	assert(CAPVER(dst) == CAPVER(src));  in cap_rights_remove()
348 	assert(cap_rights_is_valid(src));  in cap_rights_remove()
349 	assert(cap_rights_is_valid(dst));  in cap_rights_remove()
352 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_remove()
359 	assert(cap_rights_is_valid(src));  in cap_rights_remove()
360 	assert(cap_rights_is_valid(dst));  in cap_rights_remove()
371 	assert(CAPVER(big) == CAP_RIGHTS_VERSION_00);  in cap_rights_contains()
372 	assert(CAPVER(little) == CAP_RIGHTS_VERSION_00);  in cap_rights_contains()
373 	assert(CAPVER(big) == CAPVER(little));  in cap_rights_contains()
376 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);  in cap_rights_contains()