| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | zynq_gem.c | 124 debug("%s: phy_addr %d, regnum 0x%x, val 0x%x\n", __func__,
132 debug("%s: phy_addr %d, regnum 0x%x, data 0x%x\n", __func__, phy_addr,
150 debug("Default phy address %d is valid\n",
154 debug("PHY address is not setup correctly %d\n",
160 debug("detecting phy address\n");
169 debug("Found valid phy address, %d\n", i);
386 debug("%s 0x%x, 0x%x, 0x%x\n", __func__, addr, reg, *val);
395 debug("%s 0x%x, 0x%x, 0x%x\n", __func__, addr, reg, val);
|
| /seL4-refos-master/kernel/src/model/ |
| H A D | statedata.c | 8 #include <api/debug.h>
|
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 17 #include <machine/debug.h>
|
| /seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 17 #include <machine/debug.h>
1276 * if it's a debug exception when one occurs.
1278 * If it is a debug exception, return early and don't fallthrough to the
|
| /seL4-refos-master/kernel/manual/parts/ |
| H A D | bootup.tex | 231 (if compiled in debug mode) &
233 \texttt{debug\_port} &
235 (if compiled in debug mode) &
|
| H A D | threads.tex | 433 Debug exceptions are used to deliver trace and debug related events to threads.
534 \texttt{bp\_num} argument in a single-step debug fault reply.
540 the fault-reply to a single-step debug fault.
|
| /seL4-refos-master/libs/libsel4vka/include/vka/ |
| H A D | vka.h | 21 #include <sel4debug/debug.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | vka.h | 21 #include <sel4debug/debug.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4sync/src/ |
| H A D | recursive_mutex.c | 21 #include <sel4debug/debug.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | sem.h | 19 #include <sel4debug/debug.h>
|
| H A D | sem-bare.h | 26 #include <sel4debug/debug.h>
|
| H A D | condition_var.h | 18 #include <sel4debug/debug.h>
|
| H A D | bin_sem.h | 19 #include <sel4debug/debug.h>
|
| /seL4-refos-master/kernel/src/arch/riscv/ |
| H A D | c_traps.c | 12 #include <machine/debug.h>
|
| /seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
| H A D | bitfield_gen.py | 29 # Whether debugging is enabled (turn on with command line option --debug).
2682 parser.add_option('--debug', action='store_true', default=False)
2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-refos-master/kernel/libsel4/tools/ |
| H A D | bitfield_gen.py | 29 # Whether debugging is enabled (turn on with command line option --debug).
2682 parser.add_option('--debug', action='store_true', default=False)
2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-refos-master/libs/libsel4/tools/ |
| H A D | bitfield_gen.py | 29 # Whether debugging is enabled (turn on with command line option --debug).
2682 parser.add_option('--debug', action='store_true', default=False)
2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-refos-master/kernel/tools/ |
| H A D | bitfield_gen.py | 29 # Whether debugging is enabled (turn on with command line option --debug).
2682 parser.add_option('--debug', action='store_true', default=False)
2685 DEBUG = options.debug
2721 yacc.yacc(debug=0, write_tables=0)
|
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | traps.S | 417 * into the kernel, and so causes a debug-exception in kernel code, since
421 * exception continue. The debug exception handler will notice that it was
435 * It will then be the debug exception handler's responsibility to re-set
462 # prepare debug info
|
| /seL4-refos-master/kernel/src/arch/x86/64/ |
| H A D | traps.S | 505 * into the kernel, and so causes a debug-exception in kernel code, since
509 * exception continue. The debug exception handler will notice that it was
524 * It will then be the debug exception handler's responsibility to re-set
|
| /seL4-refos-master/seL4_tools/cmake-tool/ |
| H A D | griddle | 92 debug () { function
93 _print "${CYAN}debug: $*" >&2
124 test -n "$DEBUG_MATCHER" && debug "$CMAKE_LINENO: $*" || :
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/32/ |
| H A D | user_access.c | 9 #include <mode/machine/debug.h>
|
| /seL4-refos-master/kernel/src/arch/arm/armv/armv7-a/ |
| H A D | user_access.c | 9 #include <mode/machine/debug.h>
|
| /seL4-refos-master/kernel/include/machine/ |
| H A D | debug.h | 13 #include <arch/machine/debug.h>
29 * If non-NULL, 'uds' is assumed to be a pointer to a debug register
47 * If non-NULL, 'uds' is assumed to be a pointer to a debug register
63 * If non-NULL, 'uds' is assumed to be a pointer to a debug register
|
| /seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 15 #include <mode/machine/debug.h>
32 /** Discerns and handles a debug exception.
34 * Determines which hardware breakpoint triggered a debug exception, and
67 /** Program the debug registers with values that will disable all breakpoints.
|