nuclear@11: #include <stdio.h>
nuclear@11: #include <stdarg.h>
nuclear@11: #include "asmops.h"
nuclear@11: 
nuclear@11: void panic(const char *fmt, ...)
nuclear@11: {
nuclear@11: 	va_list ap;
nuclear@11: 
nuclear@11: 	printf("~~~~~ kernel panic ~~~~~\n");
nuclear@11: 	va_start(ap, fmt);
nuclear@11: 	vprintf(fmt, ap);
nuclear@11: 	va_end(ap);
nuclear@11: 
nuclear@11: 	disable_intr();
nuclear@11: 	halt_cpu();
nuclear@11: }