160 right_to_index(uint64_t right)  in right_to_index()  argument
168 	idx = CAPIDXBIT(right);  in right_to_index()
176 	uint64_t right;  in cap_rights_vset()  local
185 		right = (uint64_t)va_arg(ap, unsigned long long);  in cap_rights_vset()
186 		if (right == 0)  in cap_rights_vset()
188 		assert(CAPRVER(right) == 0);  in cap_rights_vset()
189 		i = right_to_index(right);  in cap_rights_vset()
192 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
193 		rights->cr_rights[i] |= right;  in cap_rights_vset()
194 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vset()
201 	uint64_t right;  in cap_rights_vclear()  local
210 		right = (uint64_t)va_arg(ap, unsigned long long);  in cap_rights_vclear()
211 		if (right == 0)  in cap_rights_vclear()
213 		assert(CAPRVER(right) == 0);  in cap_rights_vclear()
214 		i = right_to_index(right);  in cap_rights_vclear()
217 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
218 		rights->cr_rights[i] &= ~(right & 0x01FFFFFFFFFFFFFFULL);  in cap_rights_vclear()
219 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_vclear()
226 	uint64_t right;  in cap_rights_is_vset()  local
235 		right = (uint64_t)va_arg(ap, unsigned long long);  in cap_rights_is_vset()
236 		if (right == 0)  in cap_rights_is_vset()
238 		assert(CAPRVER(right) == 0);  in cap_rights_is_vset()
239 		i = right_to_index(right);  in cap_rights_is_vset()
242 		assert(CAPIDXBIT(rights->cr_rights[i]) == CAPIDXBIT(right));  in cap_rights_is_vset()
243 		if ((rights->cr_rights[i] & right) != right)  in cap_rights_is_vset()