Searched defs:gdb_state (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | seL4GDB-to.template.c | 44 static gdb_state_t gdb_state; variable [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 152 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 D | serial.c | 110 static gdb_state_t *gdb_state; variable
|
Completed in 49 milliseconds