Searched refs:rndptr (Results 1 – 1 of 1) sorted by relevance
690 uint32_t *rndptr; in sched_random() local692 rndptr = DPCPU_PTR(randomval); in sched_random()693 *rndptr = *rndptr * 69069 + 5; in sched_random()695 return (*rndptr >> 16); in sched_random()