Searched refs:output (Results 1 - 10 of 10) sorted by relevance

/seL4-mcs-10.1.1/manual/tools/
H A Dgen_env.py18 output = [] variable
22 print("Usage: gen_env.py <output file>")
38 output.append('\\newcommand{\\commitdate}{%s}' % (
40 output.append('\\newcommand{\\commityear}{%s}' % (
44 new_data = "\n".join(output) + "\n"
H A Dparse_doxygen_xml.py86 """Lookup refid in ref_dict and output the api function reference"""
115 output = ""
117 output += self.parse_para(item, ref_dict)
118 return output
205 output = "%s %s" % (ret_type, name)
207 output = "inline " + output
209 output = "static " + output
211 return output
[all...]
H A Dgen_invocations.py28 # Word size is required by the syscall_stub_gen library, but won't affect the output
110 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
134 if not os.path.exists(os.path.dirname(args.output)):
135 os.makedirs(os.path.dirname(args.output))
137 with open(args.output, "w") as output:
138 gen_invocations(args.files, output)
/seL4-mcs-10.1.1/libsel4/tools/
H A Dbitfield_gen.py1157 print(string, file=params.output)
1158 print(file=params.output)
1281 output = params.output
1286 {"name": self.name}, file=output)
1287 print(file=output)
1295 substs, params.sorry), file=output)
1296 print(file=output)
1299 substs, params.sorry), file=output)
1300 print(file=output)
[all...]
H A Dsyscall_stub_gen.py533 * We always need an 'error' output parameter, even though it won't
622 # Compute how many words the inputs and output will require.
986 # Write the output
987 output = open(output_file, "w") variable
988 output.write("\n".join(result))
989 output.close()
1000 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1047 generate_stub_file(args.arch, wordsize, args.files, args.output, args.buffer)
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/
H A Dbitfield_gen.py1157 print(string, file=params.output)
1158 print(file=params.output)
1281 output = params.output
1286 {"name": self.name}, file=output)
1287 print(file=output)
1295 substs, params.sorry), file=output)
1296 print(file=output)
1299 substs, params.sorry), file=output)
1300 print(file=output)
[all...]
H A Dsyscall_stub_gen.py533 * We always need an 'error' output parameter, even though it won't
622 # Compute how many words the inputs and output will require.
986 # Write the output
987 output = open(output_file, "w") variable
988 output.write("\n".join(result))
989 output.close()
1000 parser.add_argument("-o", "--output", dest="output", default="/dev/stdout",
1047 generate_stub_file(args.arch, wordsize, args.files, args.output, args.buffer)
/seL4-mcs-10.1.1/tools/
H A Dbitfield_gen.py1157 print(string, file=params.output)
1158 print(file=params.output)
1281 output = params.output
1286 {"name": self.name}, file=output)
1287 print(file=output)
1295 substs, params.sorry), file=output)
1296 print(file=output)
1299 substs, params.sorry), file=output)
1300 print(file=output)
[all...]
/seL4-mcs-10.1.1/manual/
H A DMakefile78 DoxygenOutput = doxygen-output
124 ${Q}${PYTHON} ${GenerationTool} --level 3 --input $< --output $@
128 ${Q}${PYTHON} ${GenerationTool} --level 2 --input $< --output $@
147 ${Q}${PYTHON} ${GenerationTool} --format markdown --level 2 --input $< --output $@
173 ${Q}${PYTHON} ${GenerateObjectInvocationTool} --dtd ${InterfaceDtd} --output $@ $^
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h42 "strex %[output], %[mem], [%[mem]]"
43 : [output]"+r"(temp1)

Completed in 49 milliseconds