8 /* Prints the call stack, that is, a list of addresses, one in
9 each of the functions we are nested within. gdb or addr2line
10 may be applied to kernel.o to translate these into file names,
11 line numbers, and function names. */
13 debug_backtrace (void)
15 static bool explained;
18 printf ("Call stack:");
19 for (frame = __builtin_frame_address (0);
20 frame != NULL && frame[0] != NULL;
22 printf (" %p", frame[1]);
28 printf ("The `backtrace' program can make call stacks useful.\n"
29 "Read \"Backtraces\" in the \"Debugging Tools\" chapter\n"
30 "of the Pintos documentation for more information.\n");