/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/ |
H A D | debug.hpp | 15 # include <msgpack/preprocessor/debug/assert.hpp> 16 # include <msgpack/preprocessor/debug/line.hpp>
|
H A D | assert_msg.hpp | 15 # include <msgpack/preprocessor/debug/assert.hpp>
|
H A D | library.hpp | 22 # include <msgpack/preprocessor/debug.hpp>
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | adl.h | 16 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 D | idle.c | 8 #include <api/debug.h>
|
/seL4-camkes-master/projects/lwip/src/include/lwip/ |
H A D | debug.h | 68 /** @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 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-camkes-master/kernel/src/arch/arm/32/ |
H A D | idle.c | 9 #include <api/debug.h>
|
H A D | c_traps.c | 11 #include <arch/machine/debug.h>
|
/seL4-camkes-master/kernel/src/arch/arm/64/ |
H A D | idle.c | 9 #include <api/debug.h>
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | syscall_header_gen.py | 192 # 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 D | syscall_header_gen.py | 192 # 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 D | syscall_header_gen.py | 192 # 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 D | log.py | 41 def debug(msg): log.debug(msg) function
|
/seL4-camkes-master/kernel/include/arch/arm/arch/fastpath/ |
H A D | fastpath.h | 12 #include <arch/machine/debug.h>
|
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4GDBMem-to.template.c | 26 #include <sel4debug/debug.h>
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
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 | common.h | 60 * 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 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 | common.h | 64 * 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 D | miiphyutil.c | 24 /* 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 D | common.h | 61 * 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 D | fold_right.hpp | 19 # include <msgpack/preprocessor/debug/error.hpp>
|