Use vprintf where it was intended, and use __dead

This commit is contained in:
gwr 1996-02-13 18:06:10 +00:00
parent b29ca3a272
commit 9d2186505e

View File

@ -2,16 +2,16 @@
#include <stdarg.h>
#include "stand.h"
extern volatile void abort();
extern __dead void abort();
extern int _estack[];
volatile void
__dead void
panic(const char *fmt, ...)
{
va_list ap;
va_start(ap, fmt);
printf(fmt, ap);
vprintf(fmt, ap);
printf("\n");
va_end(ap);
stackdump(0);