646 	u32 pick;  in page_rand_pick()  local
648 	pick = rand() % sat->page_num;  in page_rand_pick()
649 	pick = pick / sat->cpu_num * sat->cpu_num + cpu_id;  in page_rand_pick()
650 	if (pick >= sat->page_num)  in page_rand_pick()
651 		pick = cpu_id;  in page_rand_pick()
653 	while (page_list[pick].valid != valid) {  in page_rand_pick()
654 		pick += sat->cpu_num;  in page_rand_pick()
655 		if (pick >= sat->page_num)  in page_rand_pick()
656 			pick = cpu_id;  in page_rand_pick()
659 	return pick;  in page_rand_pick()
828 	src = page_rand_pick(page_list, 1, sat, cpu_id);	/* pick a valid page */  in page_inv()
937 	dst = page_rand_pick(page_list, 0, sat, cpu_id);	/* pick a empty page */  in page_copy()
939 	src = page_rand_pick(page_list, 1, sat, cpu_id);	/* pick a valid page */  in page_copy()