diff options
Diffstat (limited to 'system/alpha/console/printf.c')
-rw-r--r-- | system/alpha/console/printf.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/system/alpha/console/printf.c b/system/alpha/console/printf.c index 0e665a434..b958476fb 100644 --- a/system/alpha/console/printf.c +++ b/system/alpha/console/printf.c @@ -54,6 +54,8 @@ #include <sys/types.h> #include <stdarg.h> +#include <stdint.h> +#include "m5op.h" /* The string s is terminated by a '\0' */ void @@ -320,5 +322,5 @@ panic(const char *f, ...) } va_end(ap); /* clean up */ - while(1); + m5_panic(); } |