Searched refs:DEBUG (Results 1 - 24 of 24) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/src/
H A Ddebug.cogent.h1 #if DEBUG
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A DMakefile20 DEBUG = n macro
25 ifeq ($(DEBUG),y)
/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dmm.c49 #define DEBUG(_f, _a...) \ macro
52 #define DEBUG(_f, _a...) ((void)0) macro
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dcspacepath_t.h20 #ifdef DEBUG
/seL4-camkes-master/projects/camkes-tool/camkes/internal/
H A Dlog.py33 log.setLevel(logging.DEBUG)
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.c21 #undef DEBUG macro
22 #define DEBUG 0 macro
24 #ifdef DEBUG
26 # define DPRINTF(lvl, ...) do{ if(lvl < DEBUG){printf(__VA_ARGS__);fflush(stdout);}}while(0)
29 # if DEBUG < 5
30 # error NO DEBUG
/seL4-camkes-master/kernel/src/arch/arm/32/
H A Dhyp_traps.S180 #ifdef DEBUG
191 #ifdef DEBUG
202 #ifdef DEBUG
/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/
H A Dxenbus.c39 #define DEBUG(_f, _a...) \ macro
42 #define DEBUG(_f, _a...) ((void)0) macro
258 DEBUG("Rsp_cons %d, rsp_prod %d.\n", xenstore_buf->rsp_cons,
269 DEBUG("Msg len %d, %d avail, id %d.\n",
279 DEBUG("Message is good.\n");
426 DEBUG("init_xenbus called.\n");
431 DEBUG("buf at %p.\n", xenstore_buf);
474 DEBUG("prod %d, len %d, cons %d, size %d; waiting.\n",
481 DEBUG("Back from wait.\n");
508 DEBUG("Complet
[all...]
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dfec_mxc.c56 #undef DEBUG macro
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dmm.c48 #define DEBUG(_f, _a...) \ macro
51 #define DEBUG(_f, _a...) ((void)0) macro
74 DEBUG("Allocating new L%d pt frame for pfn=%lx, "
520 DEBUG("va=%p n=0x%lx, mfns[0]=0x%lx stride=0x%lx incr=0x%lx prot=0x%lx\n",
599 DEBUG("va=%p, num=0x%lx\n", va, num_frames);
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/wa_example/
H A DMakefile37 ifneq ($(DEBUG),)
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/
H A DMakefile41 ifneq ($(DEBUG),)
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/
H A DMakefile44 ifneq ($(DEBUG),)
173 $(E) " This is equivalent to running 'make linux DEBUG=1'"
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/
H A DMakefile48 ifneq ($(DEBUG),)
188 $(E) " This is equivalent to running 'make linux DEBUG=1'"
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/
H A DMakefile54 ifneq ($(DEBUG),)
189 $(E) " This is equivalent to running 'make linux DEBUG=1'"
/seL4-camkes-master/tools/pruner/
H A Dmain.c23 //#define DEBUG 1
67 #ifdef DEBUG
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/
H A DMakefile49 ifneq ($(DEBUG),)
213 $(E) " This is equivalent to running 'make linux DEBUG=1'"
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/
H A DMakefile80 ifneq ($(DEBUG),)
223 $(E) " This is equivalent to running 'make linux DEBUG=1'"
/seL4-camkes-master/projects/picotcp/
H A DMakefile.watcom15 DEBUG?=1
69 ifeq ($(DEBUG),1)
H A DMakefile17 DEBUG?=1 macro
103 ifeq ($(DEBUG),1)
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py30 DEBUG = False variable
131 if DEBUG:
2634 if DEBUG:
2685 DEBUG = options.debug variable
/seL4-camkes-master/kernel/libsel4/tools/
H A Dbitfield_gen.py30 DEBUG = False variable
131 if DEBUG:
2634 if DEBUG:
2685 DEBUG = options.debug variable
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py30 DEBUG = False variable
131 if DEBUG:
2634 if DEBUG:
2685 DEBUG = options.debug variable
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c140 //#define DEBUG
141 #ifdef DEBUG

Completed in 282 milliseconds