X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Flib%2Fdebug.c;h=1dc1bf8fd69db3c5651654620dcf79200cbf6844;hp=6d7c9e13bf064761b1496a232994040498b4c5d2;hb=bb940d21474958a1d8ee2abffdcb6bac27918398;hpb=f1f2dc8de9e336d83383692d4478bb14a3dafc11

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 6d7c9e1..1dc1bf8 100644
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -17,7 +17,7 @@ debug_backtrace (void)
   
   printf ("Call stack:");
   for (frame = __builtin_frame_address (0);
-       frame != NULL && frame[0] != NULL;
+       (uintptr_t) frame >= 0x1000 && frame[0] != NULL;
        frame = frame[0]) 
     printf (" %p", frame[1]);
   printf (".\n");