| /seL4-test-master/projects/musllibc/include/sys/ |
| H A D | mtio.h | 118 unsigned long debug; member in struct:mtconfiginfo
|
| /seL4-test-master/projects/musllibc/ldso/ |
| H A D | dynlink.c | 29 struct debug { struct
125 static struct debug debug; variable in typeref:struct:debug
133 struct debug *_dl_debug_addr = &debug;
1588 app.dynv[i+1] = (size_t)&debug;
1591 *ptr = (size_t)&debug;
1631 debug.ver = 1;
1632 debug.bp = dl_debug_state;
1633 debug
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | caps.c | 15 #include <sel4debug/debug.h>
|
| H A D | printf.c | 13 #include <sel4debug/debug.h>
|
| H A D | trace.c | 15 #include <sel4debug/debug.h>
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/arch/x86/tests/ |
| H A D | breakpoints.c | 19 #include <arch/debug.h>
71 ZF_LOGE("debugger: debug exception not triggered by expected conditions.\n");
105 ZF_LOGE("Debugger: while single stepping, got debug exception, but "
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | breakpoints.c | 22 #include <arch/debug.h>
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| H A D | common.h | 60 * Output a debug text when condition "cond" is met. The "cond" should be
70 #define debug(fmt, args...) \ macro
|
| H A D | miiphyutil.c | 45 /* local debug macro */
48 #undef debug macro
50 #define debug(fmt, args...) printf(fmt, ##args) macro
52 #define debug(fmt, args...) macro
152 debug("miiphy_register: added '%s', read=0x%08lx, write=0x%08lx\n",
378 debug("PHY ID register 2 read failed\n");
383 debug("MII_PHYSID2 @ 0x%x = 0x%04x\n", addr, reg);
391 debug("PHY ID register 1 read failed\n");
395 debug("PHY_PHYIDR[1,2] @ 0x%x = 0x%08x\n", addr, reg);
419 debug("PH
[all...] |
| H A D | phy.c | 624 debug("PHY status read failed\n");
631 debug("PHY reset failed\n");
647 debug("PHY status read failed\n");
705 debug("%s connected to %s\n", dev->name, phydev->drv->name);
|
| /seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
| H A D | common.h | 64 * Output a debug text when condition "cond" is met. The "cond" should be
74 #define debug(fmt, args...) \ macro
|
| H A D | miiphyutil.c | 45 /* local debug macro */
48 #undef debug macro
50 #define debug(fmt, args...) printf(fmt, ##args) macro
52 #define debug(fmt, args...) macro
152 debug("miiphy_register: added '%s', read=0x%08lx, write=0x%08lx\n",
378 debug("PHY ID register 2 read failed\n");
383 debug("MII_PHYSID2 @ 0x%x = 0x%04x\n", addr, reg);
391 debug("PHY ID register 1 read failed\n");
395 debug("PHY_PHYIDR[1,2] @ 0x%x = 0x%08x\n", addr, reg);
419 debug("PH
[all...] |
| H A D | phy.c | 300 debug("Could not read MII_STAT1000. Ignoring gigabit capability\n");
716 debug("\n%s PHY: ", bus->name);
719 debug("%d ", addr);
722 debug("not found\n");
761 debug("PHY reset failed\n");
778 debug("PHY status read failed\n");
835 debug("%s connected to %s\n", dev->name, phydev->drv->name);
|
| /seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 192 } debug; member in struct:dma330_map
222 return !!(regs->debug.dbgstatus & DBGSTS_BUSY);
356 v = regs->debug.dbgstatus;
473 regs->debug.dbginst[0] = inst0;
474 regs->debug.dbginst[1] = inst1;
477 regs->debug.dbgcmd = DBGCMD_EXEC;
|
| /seL4-test-master/projects/util_libs/libutils/include/utils/ |
| H A D | util.h | 28 #include <utils/debug.h>
58 * ZF_LOGD -- debug
|
| /seL4-test-master/projects/util_libs/libutils/src/ |
| H A D | debug.c | 12 #include <utils/debug.h>
|
| /seL4-test-master/tools/riscv-pk/ |
| H A D | configure | 4638 debug=false
5063 -d, --debug don't remove temporary files
5127 --debug | --debu | --deb | --de | --d | -d )
5128 debug=: ;;
5233 $debug ||
|
| /seL4-test-master/ |
| H A D | griddle | 92 debug () { function
93 _print "${CYAN}debug: $*" >&2
124 test -n "$DEBUG_MATCHER" && debug "$CMAKE_LINENO: $*" || :
|
| /seL4-test-master/kernel/include/api/ |
| H A D | syscall.h | 15 #include <api/debug.h>
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 15 #include <arch/machine/debug.h>
|
| /seL4-test-master/kernel/include/arch/arm/arch/fastpath/ |
| H A D | fastpath.h | 12 #include <arch/machine/debug.h>
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 13 #include <armv/debug.h>
31 #define HDCR_DEBUG_TDRA_SHIFT (11) /* Trap debug ROM access from non-secure world */
32 #define HDCR_DEBUG_TDOSA_SHIFT (10) /* Trap debug OS related access from NS world */
33 #define HDCR_DEBUG_TDA_SHIFT (9) /* Trap debug CP14 register access from NS world */
34 #define HDCR_DEBUG_TDE_SHIFT (8) /* Trap debug exceptions taken from NS world */
40 * hardware debug API, we have a case of indirection that we need to handle.
42 * For native PL0 user threads in the hypervisor seL4 build, if a debug
49 * debug exception DIRECTLY into the hypervisor-seL4 instance, and handle it
53 * debug exception gets triggered, we don't want to catch those debug exception
[all...] |
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | debug.h | 13 #include <mode/machine/debug.h>
86 /** Enables the debug architecture mode that allows us to receive debug events
89 * CPU can operate in one of 2 debug architecture modes: "halting" and
90 * "monitor". In halting mode, when a debug event occurs, the CPU will halt
94 * In monitor mode, the CPU will deliver debug events to the kernel as
120 * ARMv6 manual, sec D3.3.2, "Monitor debug-mode enable, bit[15]":
122 * "Monitor debug-mode has to be both selected and enabled (bit 14
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | debug.h | 13 #include <mode/machine/debug.h>
86 /** Enables the debug architecture mode that allows us to receive debug events
89 * CPU can operate in one of 2 debug architecture modes: "halting" and
90 * "monitor". In halting mode, when a debug event occurs, the CPU will halt
94 * In monitor mode, the CPU will deliver debug events to the kernel as
120 * ARMv6 manual, sec D3.3.2, "Monitor debug-mode enable, bit[15]":
122 * "Monitor debug-mode has to be both selected and enabled (bit 14
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | debug.h | 13 #include <mode/machine/debug.h>
86 /** Enables the debug architecture mode that allows us to receive debug events
89 * CPU can operate in one of 2 debug architecture modes: "halting" and
90 * "monitor". In halting mode, when a debug event occurs, the CPU will halt
94 * In monitor mode, the CPU will deliver debug events to the kernel as
120 * ARMv6 manual, sec D3.3.2, "Monitor debug-mode enable, bit[15]":
122 * "Monitor debug-mode has to be both selected and enabled (bit 14
|