/seL4-test-master/kernel/src/arch/x86/ |
H A D | idle.c | 8 #include <api/debug.h>
|
/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/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-test-master/kernel/src/arch/arm/64/ |
H A D | idle.c | 9 #include <api/debug.h>
|
/seL4-test-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-test-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-test-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-test-master/kernel/include/arch/arm/arch/fastpath/ |
H A D | fastpath.h | 12 #include <arch/machine/debug.h>
|
/seL4-test-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-test-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
|
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-test-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-test-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 41 def debug(message: str): function 46 write('debug: {}'.format(message)) 50 debug('setting marker to 0x{:x} ({})'.format(mark, obj)) 101 debug('found CPIO identifying sequence {} at offset 0x{:x} in {}' 149 debug('encountered CPIO entry name: {}'.format(name)) 198 # multiple rootservers is difficult to debug because it is not
|
/seL4-test-master/kernel/include/api/ |
H A D | syscall.h | 15 #include <api/debug.h>
|
/seL4-test-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-test-master/kernel/src/arch/arm/armv/armv8-a/32/ |
H A D | user_access.c | 9 #include <mode/machine/debug.h>
|
/seL4-test-master/kernel/src/arch/arm/armv/armv7-a/ |
H A D | user_access.c | 9 #include <mode/machine/debug.h>
|
/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/kernel/src/arch/x86/32/machine/ |
H A D | registerset.c | 13 #include <machine/debug.h>
|