Searched refs:debug (Results 1 - 25 of 129) sorted by relevance

123456

/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/
H A Ddebug.hpp15 # include <msgpack/preprocessor/debug/assert.hpp>
16 # include <msgpack/preprocessor/debug/line.hpp>
H A Dassert_msg.hpp15 # include <msgpack/preprocessor/debug/assert.hpp>
H A Dlibrary.hpp22 # include <msgpack/preprocessor/debug.hpp>
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dadl.h16 component debug_server debug; \
18 connection seL4HardwareIOPort debug_port (from debug.serial_port, to debug_hw_serial.serial); \
19 connection seL4HardwareInterrupt interrupt1 (from debug_hw_serial.serial_irq, to debug.serial_irq); \
20 connection seL4RPC delegate_con (from debug.delegate, to TARGET.delegate); \
21 connection seL4GDB debug0 (from TARGET.fault, to debug.client_fault); \
27 TARGET.debug = True; \
/seL4-camkes-master/kernel/src/arch/x86/
H A Didle.c8 #include <api/debug.h>
/seL4-camkes-master/projects/lwip/src/include/lwip/
H A Ddebug.h68 /** @name Enable/disable debug messages completely (LWIP_DBG_TYPES_ON)
71 /** flag for LWIP_DEBUGF to enable that debug message */
73 /** flag for LWIP_DEBUGF to disable that debug message */
84 /** flag for LWIP_DEBUGF indicating a state debug message (to follow module states) */
88 /** flag for LWIP_DEBUGF to halt after printing this debug message */
136 /** Enable debug message printing, but only if debug message type is enabled
145 #define LWIP_DEBUGF(debug, message) do { \
147 ((debug) & LWIP_DBG_ON) && \
148 ((debug)
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dcaps.c15 #include <sel4debug/debug.h>
H A Dprintf.c13 #include <sel4debug/debug.h>
H A Dtrace.c15 #include <sel4debug/debug.h>
/seL4-camkes-master/kernel/src/arch/arm/32/
H A Didle.c9 #include <api/debug.h>
H A Dc_traps.c11 #include <arch/machine/debug.h>
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Didle.c9 #include <api/debug.h>
/seL4-camkes-master/kernel/libsel4/tools/
H A Dsyscall_header_gen.py192 # debug elements are optional
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):
213 data = template.render({'assembler': api, 'enum': api + debug,
228 (api, debug)
[all...]
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_header_gen.py192 # debug elements are optional
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):
213 data = template.render({'assembler': api, 'enum': api + debug,
228 (api, debug)
[all...]
/seL4-camkes-master/kernel/tools/
H A Dsyscall_header_gen.py192 # debug elements are optional
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):
213 data = template.render({'assembler': api, 'enum': api + debug,
228 (api, debug)
[all...]
/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dlog.py41 def debug(msg): log.debug(msg) function
/seL4-camkes-master/kernel/include/arch/arm/arch/fastpath/
H A Dfastpath.h12 #include <arch/machine/debug.h>
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDBMem-to.template.c26 #include <sel4debug/debug.h>
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmiiphyutil.c45 /* 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 Dcommon.h60 * Output a debug text when condition "cond" is met. The "cond" should be
70 #define debug(fmt, args...) \ macro
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dmiiphyutil.c45 /* 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 Dcommon.h64 * Output a debug text when condition "cond" is met. The "cond" should be
74 #define debug(fmt, args...) \ macro
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dmiiphyutil.c24 /* local debug macro */
27 #undef debug macro
29 #define debug(fmt, args...) printf(fmt, ##args) macro
31 #define debug(fmt, args...) macro
338 debug("PHY ID register 2 read failed\n");
343 debug("MII_PHYSID2 @ 0x%x = 0x%04x\n", addr, reg);
351 debug("PHY ID register 1 read failed\n");
355 debug("PHY_PHYIDR[1,2] @ 0x%x = 0x%08x\n", addr, reg);
379 // debug("PHY status read failed\n");
383 // debug("PH
[all...]
H A Dcommon.h61 * Output a debug text when condition "cond" is met. The "cond" should be
71 #define debug(fmt, args...) \ macro
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/
H A Dfold_right.hpp19 # include <msgpack/preprocessor/debug/error.hpp>

Completed in 131 milliseconds

123456