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

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