Searched refs:in_file (Results 1 - 4 of 4) sorted by relevance

/seL4-test-master/kernel/tools/
H A Dumm.py105 in_file = open(file, 'r')
107 lines = map(lambda x: x.rstrip(), in_file.readlines())
109 in_file.close()
H A Dbitfield_gen.py2657 in_file = sys.stdin variable
2689 in_file = open(in_filename) variable
2724 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2657 in_file = sys.stdin variable
2689 in_file = open(in_filename) variable
2724 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)
/seL4-test-master/kernel/libsel4/tools/
H A Dbitfield_gen.py2657 in_file = sys.stdin variable
2689 in_file = open(in_filename) variable
2724 _, block_map, union_map = yacc.parse(input=in_file.read(), lexer=lexer)

Completed in 52 milliseconds