Small bug fixes in gdb macros

[pintos-anon] / doc / debug.texi

diff --git a/doc/debug.texi b/doc/debug.texi
index 529ed0034b2607d2e26a5bc8b6ffc029eb31c1fc..a5836b01b06a2b836a00e5acf40fba4844a2b680 100644 (file)
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -376,14 +376,14 @@ which the threads are kept.  Specify @var{element} as the
 @struct{list_elem} field used inside @struct{thread} to link the threads
 together.
 
-Example: @code{btthreadlist all_list allelem} shows the backtraces of
+Example: @code{btthreadlist &all_list allelem} shows the backtraces of
 all threads contained in @code{struct list all_list}, linked together by
 @code{allelem}.  This command is useful to determine where your threads
 are stuck when a deadlock occurs.  Please see the example scenario below.
 @end deffn
 
 @deffn {GDB Macro} btthreadall
-Short-hand for @code{btthreadlist all_list allelem}.
+Short-hand for @code{btthreadlist &all_list allelem}.
 @end deffn
 
 @deffn {GDB Macro} btpagefault