Searched defs:dbg (Results 1 - 16 of 16) sorted by relevance

/seL4-camkes-master/projects/picotcp/include/arch/
H A Dpico_none.h14 #define dbg(...) do {} while(0) macro
H A Dpico_arm9.h5 #define dbg(...) do {} while(0) macro
H A Dpico_avr.h6 #define dbg(...) do {} while(0) macro
H A Dpico_dos.h16 #define dbg(...) macro
H A Dpico_esp8266.h19 #define dbg printf macro
H A Dpico_linux.h9 #define dbg printk macro
H A Dpico_msp430.h36 #define dbg(...) macro
H A Dpico_pic32.h20 #define dbg(...) do {} while(0) macro
22 #define dbg printf macro
H A Dpico_atsamd21j18.h38 #define dbg(...) do { } while(0) macro
H A Dpico_generic_gcc.h20 #define dbg(...) macro
H A Dpico_pic24.h7 #define dbg printf macro
H A Dpico_posix.h19 #define dbg printf macro
H A Dpico_mbed.h26 #define dbg(...) macro
/seL4-camkes-master/projects/picotcp/test/
H A Dpico_faulty.h38 #define dbg printf macro
/seL4-camkes-master/projects/lwip/test/sockets/
H A Dsockets_stresstest.c154 recv_and_check_data_return_offset(int s, char *rxbuf, size_t rxbufsize, size_t rxoff, int *closed, const char *dbg) argument
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c104 static debug_state_t dbg; variable
[all...]

Completed in 84 milliseconds