sys/kern/subr_capability.c

45 #include <assert.h>
53 #define	assert(exp)	KASSERT((exp), ("%s:%u", __func__, __LINE__))
69 	assert(idx >= 0 && idx < sizeof(bit2idx) / sizeof(bit2idx[0]));
79 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
82 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
88 		assert(CAPRVER(right) == 0);
90 		assert(i >= 0);
91 		assert(i < n);
92 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
94 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
104 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
107 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
113 		assert(CAPRVER(right) == 0);
115 		assert(i >= 0);
116 		assert(i < n);
117 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
119 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
129 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
132 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
138 		assert(CAPRVER(right) == 0);
140 		assert(i >= 0);
141 		assert(i < n);
142 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));
156 	assert(version == CAP_RIGHTS_VERSION_00);
159 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
173 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
187 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
202 	assert(CAPVER(rights) == CAP_RIGHTS_VERSION_00);
244 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);
245 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);
246 	assert(CAPVER(dst) == CAPVER(src));
247 	assert(cap_rights_is_valid(src));
248 	assert(cap_rights_is_valid(dst));
251 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
256 	assert(cap_rights_is_valid(src));
257 	assert(cap_rights_is_valid(dst));
267 	assert(CAPVER(dst) == CAP_RIGHTS_VERSION_00);
268 	assert(CAPVER(src) == CAP_RIGHTS_VERSION_00);
269 	assert(CAPVER(dst) == CAPVER(src));
270 	assert(cap_rights_is_valid(src));
271 	assert(cap_rights_is_valid(dst));
274 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);
281 	assert(cap_rights_is_valid(src));
282 	assert(cap_rights_is_valid(dst));
292 	assert(CAPVER(big) == CAP_RIGHTS_VERSION_00);
293 	assert(CAPVER(little) == CAP_RIGHTS_VERSION_00);
294 	assert(CAPVER(big) == CAPVER(little));
297 	assert(n >= CAPARSIZE_MIN && n <= CAPARSIZE_MAX);