Barrelfish
|
Header for generic GDB stub code. More...
Functions | |
void | gdb_stub_entry (int signal_code, char *OPT NTS init_message) |
Generic entry point to the GDB stub. More... | |
int | gdb_arch_set_register (int regnum, uintptr_t value) |
Set the value of a single register in the frame. More... | |
void | gdb_arch_single_step (lvaddr_t addr) |
Single-step program execution. More... | |
void | gdb_arch_continue (lvaddr_t addr) |
Resume program execution. More... | |
Header for generic GDB stub code.
void gdb_arch_continue | ( | lvaddr_t | addr | ) |
Resume program execution.
addr | Address to resume at, or 0 to continue at last address. |
int gdb_arch_set_register | ( | int | regnum, |
uintptr_t | value | ||
) |
Set the value of a single register in the frame.
regnum | register number (as defined by the #gdb_register_nums enum) |
value | new value |
void gdb_arch_single_step | ( | lvaddr_t | addr | ) |
Single-step program execution.
addr | Address to resume at, or 0 to continue at last address. |
void gdb_stub_entry | ( | int | signal_code, |
char *OPT NTS | init_message | ||
) |
Generic entry point to the GDB stub.
Wait for a remote GDB to start talking to us, and then service its requests. This function should run on a different stack the main kernel, and does not return.
signal_code | Unix-style signal value indicating reason for interruption |
init_message | Optional initial message to send to the remote GDB |