PKUOS - Pintos
Pintos source browser for PKU Operating System course
Functions
debug.c File Reference
#include <debug.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdio.h>
#include <syscall.h>
Include dependency graph for debug.c:

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...
 

Function Documentation

◆ debug_panic()

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.

Definition at line 10 of file debug.c.

References debug_backtrace(), exit(), printf(), va_end, va_start, and vprintf().

Here is the call graph for this function: