#include <machine.h>
Public Attributes | |
int | n |
char ** | string |
uint64_t * | addr |
uint64_t* breakpoints::addr |
Definition at line 60 of file machine.h.
Referenced by machine_add_breakpoint_string().
int breakpoints::n |
Definition at line 56 of file machine.h.
Referenced by machine_add_breakpoint_string().
char** breakpoints::string |
Definition at line 59 of file machine.h.
Referenced by machine_add_breakpoint_string().