Searched defs:gdb_state (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDB-to.template.c44 static gdb_state_t gdb_state; variable
[all...]
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/
H A Dgdb.c152 int gdb_handle_fault(gdb_state_t *gdb_state) argument
184 handle_gdb(gdb_state_t *gdb_state) argument
399 GDB_stop_reason(char *command, gdb_state_t *gdb_state) argument
413 GDB_read_general_registers(char *command, gdb_state_t *gdb_state) argument
440 GDB_read_register(char *command, gdb_state_t *gdb_state) argument
473 GDB_write_general_registers(char *command, gdb_state_t *gdb_state) argument
498 GDB_write_register(char *command, gdb_state_t *gdb_state) argument
525 GDB_vcont(char *command, gdb_state_t *gdb_state) argument
536 GDB_continue(char *command, gdb_state_t *gdb_state) argument
553 GDB_step(char *command, gdb_state_t *gdb_state) argument
574 GDB_breakpoint(char *command, bool insert, gdb_state_t *gdb_state) argument
622 handle_command(char *command, gdb_state_t *gdb_state) argument
[all...]
H A Dserial.c110 static gdb_state_t *gdb_state; variable

Completed in 49 milliseconds