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