X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;h=1aea23874c1715814663aabe1e28b99b1a8b641b;hb=51878ce2ad4922e38f3e3c84a2108e18ec9e5517;hp=62d951add313c9a3f8ba48c304ff5b773594561f;hpb=0c6f5592b956c6a5c11c3b422e523d961f8afa45;p=pintos-anon

diff --git a/doc/debug.texi b/doc/debug.texi
index 62d951a..1aea238 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -360,6 +360,8 @@ that links the elements.
 Example: @code{dumplist all_list thread all_elem} prints all elements of
 @struct{thread} that are linked in @code{struct list all_list} using the
 @code{struct list_elem all_elem} which is part of @struct{thread}.
+(This assumes that you have added @code{all_list} and @code{all_elem}
+yourself.)
 @end deffn
 
 @deffn {GDB Macro} btthread thread
@@ -380,6 +382,8 @@ Example: @code{btthreadlist all_list all_elem} shows the backtraces of
 all threads contained in @code{struct list all_list}, linked together by
 @code{all_elem}.  This command is useful to determine where your threads
 are stuck when a deadlock occurs.  Please see the example scenario below.
+(This assumes that you have added @code{all_list} and @code{all_elem}
+yourself.)
 @end deffn
 
 @deffn {GDB Macro} btpagefault