PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <debug.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdio.h>
#include <string.h>
Go to the source code of this file.
Functions | |
void | debug_backtrace (void) |
Prints the call stack, that is, a list of addresses, one in each of the functions we are nested within. More... | |
void debug_backtrace | ( | void | ) |
Prints the call stack, that is, a list of addresses, one in each of the functions we are nested within.
gdb or addr2line may be applied to kernel.o to translate these into file names, line numbers, and function names.
Definition at line 13 of file debug.c.
References NULL, and printf().
Referenced by debug_panic().