X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fdebug.c;fp=src%2Flib%2Fdebug.c;h=b4f8c2d0b66ff0fc5542d213dc829101afdc0358;hb=425760a116e437cf758541d5e3a52e0d6a1e1a47;hp=1dc1bf8fd69db3c5651654620dcf79200cbf6844;hpb=941eff93628d8fca26ac6359b4cc8326b817beed;p=pintos-anon

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 1dc1bf8..b4f8c2d 100644
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -15,8 +15,8 @@ debug_backtrace (void)
   static bool explained;
   void **frame;
   
-  printf ("Call stack:");
-  for (frame = __builtin_frame_address (0);
+  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]);