Searched refs:rndptr (Results 1 – 1 of 1) sorted by relevance
625 uint32_t *rndptr; in sched_random() local627 rndptr = DPCPU_PTR(randomval); in sched_random()628 *rndptr = *rndptr * 69069 + 5; in sched_random()630 return (*rndptr >> 16); in sched_random()