pintos/src/lib/user/debug.c File Reference

#include <debug.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stdio.h>
#include <syscall.h>

Go to the source code of this file.

Functions
void	debug_panic (const char *file, int line, const char *function, const char *message,...)

---

Function Documentation

void debug_panic	(	const char *	file,
		int	line,
		const char *	function,
		const char *	message,
			...
	)

Definition at line 10 of file debug.c.

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