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

123

/seL4-test-master/kernel/src/arch/x86/
H A Didle.c8 #include <api/debug.h>
/seL4-test-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-test-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-test-master/kernel/src/arch/arm/64/
H A Didle.c9 #include <api/debug.h>
/seL4-test-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-test-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-test-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-test-master/kernel/include/arch/arm/arch/fastpath/
H A Dfastpath.h12 #include <arch/machine/debug.h>
/seL4-test-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-test-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
H A Dzynq_gem.c124 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 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-test-master/tools/seL4/cmake-tool/helpers/
H A Dshoehorn.py41 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 Dsyscall.h15 #include <api/debug.h>
/seL4-test-master/kernel/include/machine/
H A Ddebug.h13 #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 Duser_access.c9 #include <mode/machine/debug.h>
/seL4-test-master/kernel/src/arch/arm/armv/armv7-a/
H A Duser_access.c9 #include <mode/machine/debug.h>
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dutil.h28 #include <utils/debug.h>
58 * ZF_LOGD -- debug
/seL4-test-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c13 #include <machine/debug.h>

Completed in 162 milliseconds

123