Searched refs:random_index (Results 1 – 2 of 2) 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()
275 static int random_index(unsigned int max) in random_index() function293 return intel_context_create(engines[random_index(count)]); in __migrate_engines()