Searched refs:rptr (Results 1 - 3 of 3) sorted by relevance
/barrelfish-master/lib/libc/stdlib/ |
H A D | random.c | 156 * MAX_TYPES * (rptr - state) + TYPE_3 == TYPE_3. 170 * fptr and rptr are two pointers into the state info, a front and a rear 179 * (The position of the rear pointer, rptr, is really 0 (as explained above 184 static uint32_t *rptr = &randtbl[1]; variable 250 rptr = &state[0]; 286 rptr = &state[0]; 324 state[-1] = MAX_TYPES * (rptr - state) + rand_type; 352 int_arg_state[0] = MAX_TYPES * (rptr - state) + rand_type; 388 state[-1] = MAX_TYPES * (rptr - state) + rand_type; 394 rptr [all...] |
/barrelfish-master/lib/posixcompat/ |
H A D | random.c | 163 * MAX_TYPES * (rptr - state) + TYPE_3 == TYPE_3. 188 * fptr and rptr are two pointers into the state info, a front and a rear 197 * (The position of the rear pointer, rptr, is really 0 (as explained above 202 static uint32_t *rptr = &randtbl[1]; variable 277 rptr = &state[0]; 325 rptr = &state[0]; 364 state[-1] = MAX_TYPES * (rptr - state) + rand_type; 397 int_arg_state[0] = MAX_TYPES * (rptr - state) + rand_type; 431 state[-1] = MAX_TYPES * (rptr - state) + rand_type; 448 rptr [all...] |
/barrelfish-master/kernel/ |
H A D | monitor.c | 24 static errval_t sys_double_lookup(capaddr_t rptr, uint8_t rlevel, 173 static errval_t sys_double_lookup(capaddr_t rptr, uint8_t rlevel, argument 180 err = caps_lookup_cap(&dcb_current->cspace.cap, rptr, rlevel,
|
Completed in 46 milliseconds