Searched refs:gdb_printf (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dserial.h19 void gdb_printf(const char *format, ...);
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c204 gdb_printf(GDB_RESPONSE_START GDB_NACK GDB_RESPONSE_END "\n");
207 gdb_printf(GDB_RESPONSE_START GDB_ACK GDB_RESPONSE_END "\n");
230 gdb_printf(GDB_RESPONSE_START "$%s#%02X\n", message, checksum);
231 gdb_printf(GDB_RESPONSE_END);
H A Dserial.c384 void gdb_printf(const char *format, ...) function

Completed in 28 milliseconds