Searched refs:gdb_buffer_t (Results 1 - 2 of 2) sorted by path

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/
H A Dgdb.h70 } gdb_buffer_t; typedef in typeref:struct:gdb_buffer
72 extern gdb_buffer_t buf;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c23 gdb_buffer_t buf;

Completed in 40 milliseconds