PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
Go to the source code of this file.
Functions | |
void | debug_panic (const char *file, int line, const char *function, const char *message,...) |
Aborts the user program, printing the source file name, line number, and function name, plus a user-specific message. More... | |
void debug_panic | ( | const char * | file, |
int | line, | ||
const char * | function, | ||
const char * | message, | ||
... | |||
) |