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