Searched refs:gdb_state (Results 1 - 5 of 5) 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 56 gdb_state.stop_watch_addr = args[2]; 61 } else if (exception_reason == seL4_SingleStep && gdb_state.current_thread_step_mode) { 70 gdb_state.current_pc--; 71 delegate_write_register(gdb_state.current_thread_tcb, gdb_state.current_pc, 0); 89 gdb_state.sem_post = b_post; 90 gdb_state.current_thread_tcb = 1; 91 serial_init(&gdb_state); 102 info = seL4_Recv(/*? ep ?*/, &gdb_state [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/gdb/ |
H A D | serial.h | 22 void serial_init(gdb_state_t *gdb_state);
|
H A D | gdb.h | 102 int handle_gdb(gdb_state_t *gdb_state); 103 int gdb_handle_fault(gdb_state_t *gdb_state)
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/gdb_server/ |
H A D | gdb.c | 27 static int handle_command(char *command, gdb_state_t *gdb_state); 29 static void GDB_write_register(char *command, gdb_state_t *gdb_state); 35 static void GDB_stop_reason(char *command, gdb_state_t *gdb_state); 36 static void GDB_read_general_registers(char *command, gdb_state_t *gdb_state); 37 static void GDB_read_register(char *command, gdb_state_t *gdb_state); 38 static void GDB_vcont(char *command, gdb_state_t *gdb_state); 39 static void GDB_continue(char *command, gdb_state_t *gdb_state); 40 static void GDB_step(char *command, gdb_state_t *gdb_state); 41 static void GDB_breakpoint(char *command, bool insert, gdb_state_t *gdb_state); 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 219 gdb_state = gdb; 376 handle_gdb(gdb_state);
|
Completed in 127 milliseconds