Searched refs:random_index (Results 1 – 1 of 1) sorted by relevance
562 int random_index; in alloc_random_pkey() local576 random_index = rand() % nr_alloced; in alloc_random_pkey()577 ret = alloced_pkeys[random_index]; in alloc_random_pkey()579 alloced_pkeys[random_index] = 0; in alloc_random_pkey()