parlib: Fix panic output
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 13 Aug 2018 22:25:30 +0000 (18:25 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 13 Aug 2018 22:25:30 +0000 (18:25 -0400)
It would print panic.c:37, instead of the source of the panic.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/panic.c

index 44e992e..f82d542 100644 (file)
@@ -34,7 +34,7 @@ void _panic(const char *file, int line, const char *fmt, ...)
        va_start(ap, fmt);
        ret += snprintf(buf + ret, sizeof(buf) - ret,
                        "[user] panic: PID %d, vcore %d, %s:%d: ",
-                       getpid(), vcore_id(), __FILE__, __LINE__);
+                       getpid(), vcore_id(), file, line);
        /* ignore errors (ret < 0) by setting ret to be at least 0 */
        ret = MAX(ret, 0);
        ret += vsnprintf(buf + ret, sizeof(buf) - ret, fmt, ap);