Searched refs:seed_set (Results 1 – 1 of 1) sorted by relevance
91 bool seed_set = false; in set_randconfig_seed() local99 seed_set = true; in set_randconfig_seed()102 if (!seed_set) { in set_randconfig_seed()