Searched refs:random_index (Results 1 – 1 of 1) sorted by relevance
521 int random_index; in alloc_random_pkey() local535 random_index = rand() % nr_alloced; in alloc_random_pkey()536 ret = alloced_pkeys[random_index]; in alloc_random_pkey()538 alloced_pkeys[random_index] = 0; in alloc_random_pkey()