Home
last modified time | relevance | path

Searched refs:output (Results 1 – 25 of 42) sorted by relevance

12

/seL4-master/manual/tools/
A Dparse_doxygen_xml.py127 output = ""
130 return output
242 output = "inline " + output
244 output = "static " + output
246 return output
340 return output
472 return output
480 return output
489 output = '\n'
490 output += list_generator(para, ref_dict, output)
[all …]
A Dgen_env.py12 output = [] variable
32 output.append('\\newcommand{\\commitdate}{%s}' % (
34 output.append('\\newcommand{\\commityear}{%s}' % (
38 new_data = "\n".join(output) + "\n"
A Dgen_invocations.py134 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-master/libsel4/tools/
A Dbitfield_gen.py1340 output = params.output
1346 print(file=output)
1355 print(file=output)
1359 print(file=output)
1363 print(file=output)
1367 file=output)
1563 output = params.output
1745 output = params.output
2228 output = params.output
2298 output = params.output
[all …]
A Dsyscall_stub_gen.py1043 output = open(output_file, "w")
1044 output.write("\n".join(result))
1045 output.close()
1107 generate_stub_file(args.arch, wordsize, args.files, args.output, args.buffer, args.mcs)
/seL4-master/tools/
A Dbitfield_gen.py1340 output = params.output
1346 print(file=output)
1355 print(file=output)
1359 print(file=output)
1363 print(file=output)
1367 file=output)
1563 output = params.output
1745 output = params.output
2228 output = params.output
2298 output = params.output
[all …]
A Dhelpers.cmake29 function(get_absolute_source_or_binary output input)
34 set("${output}" "${test}" PARENT_SCOPE)
37 function(get_absolute_list_source_or_binary output input)
42 set("${output}" "${test}" PARENT_SCOPE)
49 # for the output file
54 function(cppfile output output_target input)
84 OUTPUT ${output}
89 add_custom_target(${output_target} DEPENDS ${output})
323 # and should not be quoted in the output
569 macro(get_generated_files output target)
[all …]
A Dhardware_schema.yml94 then the C header output would look like
/seL4-master/tools/dts/
A Dtqma8xqp1gb.dts403 clock-output-names = "clk_dummy";
411 clock-output-names = "xtal_32KHz";
419 clock-output-names = "xtal_24MHz";
492 clock-output-names = "cm40_ipg_clk";
615 clock-output-names = "dc0_cfg_clk";
1493 clock-output-names = "dma_ipg_clk";
2293 ti,clk-output-sel = <0xffffffff>;
2307 ti,clk-output-sel = <0xffffffff>;
2820 clock-output-names = "xtal_100MHz";
2947 clock-output-names = "img_ipg_clk";
[all …]
A Dfvp.dts254 clock-output-names = "bp:clock35mhz";
262 clock-output-names = "bp:clock24mhz";
301 clock-output-names = "bp:oscclk1";
315 clock-output-names = "sysctl:refclk";
323 clock-output-names = "sysctl:timclk";
333 clock-output-names = "timerclken0", "timerclken1", "timerclken2", "timerclken3";
518 clock-output-names = "pxlclk";
A DallwinnerA20.dts151 clock-output-names = "osc24M";
159 clock-output-names = "osc32k";
167 clock-output-names = "mii_phy_tx";
175 clock-output-names = "gmac_int_tx";
184 clock-output-names = "gmac_tx";
337 clock-output-names = "tcon0-pixel-clock";
385 clock-output-names = "tcon1-pixel-clock";
439 clock-names = "ahb\0mmc\0output\0sample";
455 clock-names = "ahb\0mmc\0output\0sample";
466 clock-names = "ahb\0mmc\0output\0sample";
[all …]
A Dnitrogen6sx.dts93 clock-output-names = "ckil";
101 clock-output-names = "osc";
109 clock-output-names = "ipp_di0";
117 clock-output-names = "ipp_di1";
125 clock-output-names = "anaclk1";
133 clock-output-names = "anaclk2";
A Drpi3.dts468 clock-output-names = "dsi0_byte\0dsi0_ddr2\0dsi0_ddr";
567 clock-output-names = "dsi1_byte\0dsi1_ddr2\0dsi1_ddr";
712 clock-output-names = "osc";
721 clock-output-names = "otg";
A Drpi4.dts902 clock-output-names = "dsi0_byte\0dsi0_ddr2\0dsi0_ddr";
992 clock-output-names = "dsi1_byte\0dsi1_ddr2\0dsi1_ddr";
1356 clock-output-names = "osc";
1364 clock-output-names = "otg";
1385 clock-output-names = "27MHz-clock";
1393 clock-output-names = "108MHz-clock";
A Dmpfs_icicle.dts348 clock-output-names = "msspllclk";
357 …clock-output-names = "cpuclk", "axiclk", "ahbclk", "ENVMclk", "MAC0clk", "MAC1clk", "MMCclk", "TIM…
A Dzynqmp.dts455 output-low;
462 output-high;
469 output-high;
476 output-high;
A Drockpro64.dts224 clock-output-names = "xin24m";
360 clock-output-names = "emmc_cardclock";
1218 clock-output-names = "xin32k\0rk808-clkout2";
1683 clock-output-names = "clk_usbphy0_480m";
1711 clock-output-names = "clk_usbphy1_480m";
2374 pcfg-output-high {
2375 output-high;
2378 pcfg-output-low {
2379 output-low;
3126 clock-output-names = "clkin_gmac";
A Dimx8mq-evk.dts205 clock-output-names = "ckil";
215 clock-output-names = "osc_25m";
225 clock-output-names = "osc_27m";
235 clock-output-names = "clk_ext1";
245 clock-output-names = "clk_ext2";
255 clock-output-names = "clk_ext3";
265 clock-output-names = "clk_ext4";
1772 fsl,ext-reset-output;
A Dimx8mm-evk.dts212 clock-output-names = "osc_32k";
222 clock-output-names = "osc_24m";
232 clock-output-names = "clk_ext1";
242 clock-output-names = "clk_ext2";
252 clock-output-names = "clk_ext3";
262 clock-output-names = "clk_ext4";
1525 fsl,ext-reset-output;
/seL4-master/manual/
A DMakefile74 DoxygenOutput = doxygen-output
125 ${Q}${PYTHON} ${GenerationTool} --level 3 --input $< --output $@
129 ${Q}${PYTHON} ${GenerationTool} --level 2 --input $< --output $@
149 ${Q}${PYTHON} ${GenerationTool} --format markdown --level 2 --input $< --output $@
176 ${Q}${PYTHON} ${GenerateObjectInvocationTool} --dtd ${InterfaceDtd} --output $@ $^
A DDoxyfile58 # the logo to the output directory.
67 OUTPUT_DIRECTORY = doxygen-output
70 # directories (in 2 levels) under the output directory of each output format and
684 # output files in an output format independent way. To create the layout file
1144 # in the HTML output. For a value of 0 the output will use grayscales only. A
1153 # gradually make the output lighter, whereas values above 100 make the output
1308 # the HTML output folder.
1609 # written to the output directory.
1785 # output) instead of page references. This makes the output suitable for online
1887 # of the XML output.
[all …]
/seL4-master/
A D.gitignore25 manual/doxygen-output
A Dgcc.cmake130 # Ninja and ccache cause gcc to not emit colored output when -fdiagnostics-color=auto.
139 option(FORCE_COLORED_OUTPUT "Always produce ANSI-colored output." ${coloured_output})
A Dconfig.cmake409 in unnecessary output from the kernel during debug builds. If you are CERTAIN these \
417 "In debug mode, seL4 prints diagnostic messages to its serial output describing, \
420 setting if your serial output is redirected to a file or pipe."
/seL4-master/include/arch/arm/arch/32/mode/fastpath/
A Dfastpath.h38 : [output]"+r"(temp1) in clearExMonitor_fp()

Completed in 64 milliseconds

12