Home
last modified time | relevance | path

Searched refs:input_file (Results 1 – 1 of 1) sorted by relevance

/arch/x86/tools/
A Dinsn_sanity.c36 static FILE *input_file; /* Input file name */ variable
98 if (!input_file) { in dump_stream()
128 tmp = fgets(buf, ARRAY_SIZE(buf), input_file); in read_next_insn()
129 if (tmp == NULL || feof(input_file)) in read_next_insn()
145 if (input_file) in generate_insn()
178 input_file = stdin; in parse_args()
180 input_file = fopen(optarg, "r"); in parse_args()
181 if (!input_file) in parse_args()
208 if (set_seed && input_file) in parse_args()
212 if (!input_file) { in parse_args()
[all …]

Completed in 3 milliseconds