int CommandReadTrace( int argc, char** argv )
show_traces
traceCmd.c
int CommandShowPlugins( int argc, char** argv )
traceCmd.c
int CommandShowTraces( int argc, char** argv )
pick_state
goto_state
simulate
traceCmd.c
int TracePkg_get_default_trace_plugin( )
traceCmd.c
boolean TracePkg_set_default_trace_plugin( int dp )
traceCmd.c
static int UsageReadTrace( )
traceCmd.c
static int UsageShowPlugins( )
traceCmd.c
static int UsageShowTraces( )
traceCmd.c