Barrelfish
Functions
gdb_stub.h File Reference

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...
 

Detailed Description

Header for generic GDB stub code.

Function Documentation

void gdb_arch_continue ( lvaddr_t  addr)

Resume program execution.

Parameters
addrAddress 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.

Parameters
regnumregister number (as defined by the #gdb_register_nums enum)
valuenew value
Returns
Zero on success, nonzero on failure (invalid regnum).
void gdb_arch_single_step ( lvaddr_t  addr)

Single-step program execution.

Parameters
addrAddress 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.

Parameters
signal_codeUnix-style signal value indicating reason for interruption
init_messageOptional initial message to send to the remote GDB