/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/src/ |
H A D | debug.cogent.h | 1 #if DEBUG
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | Makefile | 20 DEBUG = n macro 25 ifeq ($(DEBUG),y)
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | mm.c | 49 #define DEBUG(_f, _a...) \ macro 52 #define DEBUG(_f, _a...) ((void)0) macro
|
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | cspacepath_t.h | 20 #ifdef DEBUG
|
/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | log.py | 33 log.setLevel(logging.DEBUG)
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
H A D | regions.c | 21 #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 D | hyp_traps.S | 180 #ifdef DEBUG 191 #ifdef DEBUG 202 #ifdef DEBUG
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/xenbus/ |
H A D | xenbus.c | 39 #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 D | fec_mxc.c | 56 #undef DEBUG macro
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
H A D | mm.c | 48 #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 D | Makefile | 37 ifneq ($(DEBUG),)
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/ |
H A D | Makefile | 41 ifneq ($(DEBUG),)
|
/seL4-camkes-master/tools/cogent/impl/fs/skel-fs/cogent/ |
H A D | Makefile | 44 ifneq ($(DEBUG),) 173 $(E) " This is equivalent to running 'make linux DEBUG=1'"
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/ |
H A D | Makefile | 48 ifneq ($(DEBUG),) 188 $(E) " This is equivalent to running 'make linux DEBUG=1'"
|
/seL4-camkes-master/tools/cogent/impl/net/loopback/cogent/ |
H A D | Makefile | 54 ifneq ($(DEBUG),) 189 $(E) " This is equivalent to running 'make linux DEBUG=1'"
|
/seL4-camkes-master/tools/pruner/ |
H A D | main.c | 23 //#define DEBUG 1 67 #ifdef DEBUG
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/ |
H A D | Makefile | 49 ifneq ($(DEBUG),) 213 $(E) " This is equivalent to running 'make linux DEBUG=1'"
|
/seL4-camkes-master/tools/cogent/impl/fs/ext2/cogent/ |
H A D | Makefile | 80 ifneq ($(DEBUG),) 223 $(E) " This is equivalent to running 'make linux DEBUG=1'"
|
/seL4-camkes-master/projects/picotcp/ |
H A D | Makefile.watcom | 15 DEBUG?=1 69 ifeq ($(DEBUG),1)
|
H A D | Makefile | 17 DEBUG?=1 macro 103 ifeq ($(DEBUG),1)
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | bitfield_gen.py | 30 DEBUG = False variable 131 if DEBUG: 2634 if DEBUG: 2685 DEBUG = options.debug variable
|
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | bitfield_gen.py | 30 DEBUG = False variable 131 if DEBUG: 2634 if DEBUG: 2685 DEBUG = options.debug variable
|
/seL4-camkes-master/kernel/tools/ |
H A D | bitfield_gen.py | 30 DEBUG = False variable 131 if DEBUG: 2634 if DEBUG: 2685 DEBUG = options.debug variable
|
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | sysproxy.c | 140 //#define DEBUG 141 #ifdef DEBUG
|