Searched defs:DEBUG (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/
H A DMakefile20 DEBUG = n macro
/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/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dfec_mxc.c56 #undef DEBUG macro
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/
H A Dregions.c21 #undef DEBUG macro
22 #define DEBUG 0 macro
/seL4-camkes-master/projects/picotcp/
H A DMakefile17 DEBUG?=1 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
/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
[all...]
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py30 DEBUG = False variable
2685 DEBUG = options.debug variable
/seL4-camkes-master/kernel/libsel4/tools/
H A Dbitfield_gen.py30 DEBUG = False variable
2685 DEBUG = options.debug variable
/seL4-camkes-master/kernel/tools/
H A Dbitfield_gen.py30 DEBUG = False variable
2685 DEBUG = options.debug variable

Completed in 123 milliseconds