Searched refs:stdout (Results 1 - 6 of 6) sorted by relevance

/seL4-mcs-10.1.1/manual/tools/
H A Dgen_env.py28 stdout=subprocess.PIPE) variable
/seL4-mcs-10.1.1/tools/
H A Dumm.py130 print_graph('umm_types.txt', sys.stdout)
H A Dlex.py1030 sys.stdout.write("Reading from standard input (type EOF to end):\n")
1046 sys.stdout.write("(%s,%r,%d,%d)\n" % (tok.type, tok.value, tok.lineno,tok.lexpos))
H A Dbitfield_gen.py2578 out_file = sys.stdout
2627 if out_file == sys.stdout:
/seL4-mcs-10.1.1/libsel4/tools/
H A Dbitfield_gen.py2578 out_file = sys.stdout
2627 if out_file == sys.stdout:
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dbitfield_gen.py2578 out_file = sys.stdout
2627 if out_file == sys.stdout:

Completed in 50 milliseconds