Searched refs:rndptr (Results 1 – 1 of 1) sorted by relevance
727 uint32_t *rndptr; in sched_random() local729 rndptr = DPCPU_PTR(randomval); in sched_random()730 *rndptr = *rndptr * 69069 + 5; in sched_random()732 return (*rndptr >> 16); in sched_random()