Searched refs:random_index (Results 1 – 1 of 1) sorted by relevance
613 int random_index; in alloc_random_pkey() local628 random_index = rand() % nr_alloced; in alloc_random_pkey()629 ret = alloced_pkeys[random_index]; in alloc_random_pkey()631 alloced_pkeys[random_index] = 0; in alloc_random_pkey()
