set_seed          166 arch/x86/tools/insn_sanity.c 	int set_seed = 0;
set_seed          196 arch/x86/tools/insn_sanity.c 			set_seed = 1;
set_seed          212 arch/x86/tools/insn_sanity.c 	if (set_seed && input_file)
set_seed          217 arch/x86/tools/insn_sanity.c 		if (!set_seed)	/* No seed is given */