Searched refs:gdb_state (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4GDB-to.template.c44 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 Dserial.h22 void serial_init(gdb_state_t *gdb_state);
H A Dgdb.h102 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 Dgdb.c27 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 Dserial.c110 static gdb_state_t *gdb_state; variable
219 gdb_state = gdb;
376 handle_gdb(gdb_state);

Completed in 127 milliseconds