| /seL4-master/tools/ |
| A D | syscall_header_gen.py | 193 debug = doc.getElementsByTagName("debug")
194 if len(debug) != 1:
197 debug_element = debug[0]
200 debug = parse_syscall_list(debug_element)
202 return (api_elements, debug)
210 def generate_kernel_file(kernel_header, api, debug): argument
213 data = template.render({'assembler': api, 'enum': api + debug,
228 (api, debug) = parse_xml(args.xml, args.mcs)
232 generate_kernel_file(args.kernel_header, api, debug)
236 generate_libsel4_file(args.libsel4_header, api + debug)
|
| A D | lex.py | 109 debug = critical variable in PlyLogger
915 def lex(module=None, object=None, debug=0, optimize=0, lextab="lextab", reflags=0, nowarn=0, output… argument
926 if debug:
959 if debug:
988 if debug:
994 if debug:
1001 if debug:
1009 if debug:
|
| A D | bitfield_gen.py | 2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_header_gen.py | 193 debug = doc.getElementsByTagName("debug")
194 if len(debug) != 1:
197 debug_element = debug[0]
200 debug = parse_syscall_list(debug_element)
202 return (api_elements, debug)
210 def generate_kernel_file(kernel_header, api, debug): argument
213 data = template.render({'assembler': api, 'enum': api + debug,
228 (api, debug) = parse_xml(args.xml, args.mcs)
232 generate_kernel_file(args.kernel_header, api, debug)
236 generate_libsel4_file(args.libsel4_header, api + debug)
|
| A D | bitfield_gen.py | 2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-master/tools/dts/ |
| A D | rocketchip.dts | 92 L2: debug-controller@0 {
93 compatible = "sifive,debug-013", "riscv,debug-013";
|
| A D | ariane.dts | 77 debug-controller@0 {
78 compatible = "riscv,debug-013";
|
| A D | hikey.dts | 1508 debug@f6590000 {
1509 compatible = "arm,coresight-cpu-debug\0arm,primecell";
1516 debug@f6592000 {
1517 compatible = "arm,coresight-cpu-debug\0arm,primecell";
1524 debug@f6594000 {
1525 compatible = "arm,coresight-cpu-debug\0arm,primecell";
1532 debug@f6596000 {
1540 debug@f65d0000 {
1548 debug@f65d2000 {
1556 debug@f65d4000 {
[all …]
|
| A D | mpfs_icicle.dts | 236 L3: debug-controller@0 {
237 compatible = "sifive,debug-013", "riscv,debug-013";
|
| A D | tx2.dts | 2993 nvidia,service = "debug";
3001 compatible = "nvidia,tegra186-camera-ivc-protocol-debug";
3004 nvidia,service = "debug";
3089 nvidia,service = "debug";
3097 compatible = "nvidia,tegra186-camera-ivc-protocol-debug";
3100 nvidia,service = "debug";
6508 nvidia,disable-debug-reset;
|
| /seL4-master/libsel4/include/api/ |
| A D | syscall.xsd | 20 <xsd:element name="debug" type="DebugType" />
|
| /seL4-master/ |
| A D | config.cmake | 334 KernelDebugBuild DEBUG_BUILD "Enable debug facilities (symbols and assertions) in the kernel"
342 "Builds the kernel with support for a userspace debug API, which can \
409 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, \
|
| A D | CMakeLists.txt | 137 # Pretend to CMake that we're a release build with debug info. This is because
|
| /seL4-master/src/arch/arm/ |
| A D | config.cmake | 168 SMMU interrupts currently only serve a debug purpose as \
234 machine/debug.c
|
| /seL4-master/manual/parts/ |
| A D | bootup.tex | 233 (if compiled in debug mode) &
235 \texttt{debug\_port} &
237 (if compiled in debug mode) &
|
| A D | threads.tex | 443 Debug exceptions are used to deliver trace and debug related events to threads.
544 \texttt{bp\_num} argument in a single-step debug fault reply.
550 the fault-reply to a single-step debug fault.
|
| /seL4-master/src/arch/x86/32/ |
| A D | traps.S | 462 # prepare debug info
|
| /seL4-master/src/arch/x86/64/ |
| A D | traps.S | 509 * exception continue. The debug exception handler will notice that it was
|