| /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/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);
|
| 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-refos-master/libs/libutils/include/utils/ |
| H A D | util.h | 28 #include <utils/debug.h>
58 * ZF_LOGD -- debug
|
| /seL4-refos-master/projects/util_libs/libutils/include/utils/ |
| H A D | util.h | 28 #include <utils/debug.h>
58 * ZF_LOGD -- debug
|
| /seL4-refos-master/kernel/src/arch/x86/32/machine/ |
| H A D | registerset.c | 13 #include <machine/debug.h>
|
| /seL4-refos-master/projects/seL4_libs/libsel4sync/include/sync/ |
| H A D | sem-bare.h | 26 #include <sel4debug/debug.h>
|
| H A D | bin_sem.h | 19 #include <sel4debug/debug.h>
|
| H A D | sem.h | 19 #include <sel4debug/debug.h>
|
| H A D | condition_var.h | 18 #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/libs/libutils/src/ |
| H A D | debug.c | 12 #include <utils/debug.h>
|
| /seL4-refos-master/projects/util_libs/libutils/src/ |
| H A D | debug.c | 12 #include <utils/debug.h>
|
| /seL4-refos-master/libs/libmuslc/ |
| H A D | Makefile | 21 ENABLE_DEBUG = --enable-debug
|
| H A D | configure | 32 --enable-debug build with debugging information [disabled]
136 debug=no
162 --enable-debug|--enable-debug=yes) debug=yes ;;
163 --disable-debug|--enable-debug=no) debug=no ;;
392 test "$debug" = yes && CFLAGS_AUTO=-g
395 # Preprocess asm files to add extra debugging information if debug i
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | c_traps.c | 12 #include <arch/machine/debug.h>
|
| /seL4-refos-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-refos-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-refos-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
|
| /seL4-refos-master/kernel/src/model/ |
| H A D | statedata.c | 8 #include <api/debug.h>
|
| /seL4-refos-master/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-refos-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-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
| H A D | phy.c | 326 debug("Could not read MII_STAT1000. Ignoring gigabit capability\n");
770 debug("\n%s PHY: ", bus->name);
773 debug("%d ", addr);
776 debug("not found\n");
817 debug("PHY reset failed\n");
834 debug("PHY status read failed\n");
|
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
| 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-refos-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 15 #include <arch/machine/debug.h>
|