blob: 847ecca634ba9f17a7f2374072a916352a1f4159 (
plain) (
tree)
|
|
#include <stdbool.h>
#include <debug.h>
#include <syscall.h>
void sys_panic(const char* msg, const char* file, int line) {
dbg_printf("PANIC in user process\n %s\n at %s:%d\n", msg, file, line);
exit(-1);
while(true);
}
void sys_panic_assert(const char* assert, const char* file, int line) {
dbg_printf("ASSERT FAILED in user process\n %s\n at %s:%d\n", assert, file, line);
exit(-1);
while(true);
}
/* vim: set ts=4 sw=4 tw=0 noet :*/
|