Searched refs:rndptr (Results 1 – 1 of 1) sorted by relevance
624 uint32_t *rndptr; in sched_random() local626 rndptr = DPCPU_PTR(randomval); in sched_random()627 *rndptr = *rndptr * 69069 + 5; in sched_random()629 return (*rndptr >> 16); in sched_random()