Minor - rename BX_PANIC to panic.

6 files changed, 8 insertions, 8 deletions

diff --git a/src/boot.c b/src/boot.c
index 9dec69e..fc81ed6 100644
--- a/src/boot.c
+++ b/src/boot.c
@@ -217,14 +217,14 @@ static void
 do_boot(u16 seq_nr)
 {
     if (! CONFIG_BOOT)
-        BX_PANIC("Boot support not compiled in.\n");
+        panic("Boot support not compiled in.\n");
 
     u32 bootdev = IPL.bootorder;
     bootdev >>= 4 * seq_nr;
     bootdev &= 0xf;
 
     if (bootdev == 0)
-        BX_PANIC("No bootable device.\n");
+        panic("No bootable device.\n");
 
     /* Translate bootdev to an IPL table offset by subtracting 1 */
     bootdev -= 1;
diff --git a/src/memmap.c b/src/memmap.c
index 3d03248..1cc4691 100644
--- a/src/memmap.c
+++ b/src/memmap.c
@@ -145,5 +145,5 @@ memmap_finalize()
             , (100 * (bios_table_cur_addr - (u32)&BiosTableSpace)
                / CONFIG_MAX_BIOSTABLE));
     if (bios_table_cur_addr > bios_table_end_addr)
-        BX_PANIC("bios_table_end_addr overflow!\n");
+        panic("bios_table_end_addr overflow!\n");
 }
diff --git a/src/misc.c b/src/misc.c
index 2557eb9..6548249 100644
--- a/src/misc.c
+++ b/src/misc.c
@@ -58,7 +58,7 @@ void VISIBLE16
 handle_nmi()
 {
     debug_isr(DEBUG_ISR_nmi);
-    BX_PANIC("NMI Handler called\n");
+    panic("NMI Handler called\n");
 }
 
 void
diff --git a/src/output.c b/src/output.c
index 63aec9d..2e6246b 100644
--- a/src/output.c
+++ b/src/output.c
@@ -224,7 +224,7 @@ bvprintf(u16 action, const char *fmt, va_list args)
 }
 
 void
-BX_PANIC(const char *fmt, ...)
+panic(const char *fmt, ...)
 {
     if (CONFIG_DEBUG_LEVEL) {
         va_list args;
diff --git a/src/resume.c b/src/resume.c
index aab52ed..38723d8 100644
--- a/src/resume.c
+++ b/src/resume.c
@@ -91,14 +91,14 @@ handle_resume(u8 status)
         break;
     }
 
-    BX_PANIC("Unimplemented shutdown status: %02x\n", status);
+    panic("Unimplemented shutdown status: %02x\n", status);
 }
 
 void VISIBLE32
 s3_resume()
 {
     if (!CONFIG_S3_RESUME)
-        BX_PANIC("S3 resume support not compiled in.\n");
+        panic("S3 resume support not compiled in.\n");
 
     dprintf(1, "In 32bit resume\n");
 
diff --git a/src/util.h b/src/util.h
index 0757fa4..b7fbf2e 100644
--- a/src/util.h
+++ b/src/util.h
@@ -88,7 +88,7 @@ int get_keystroke(int msec);
 
 // output.c
 void debug_serial_setup();
-void BX_PANIC(const char *fmt, ...)
+void panic(const char *fmt, ...)
     __attribute__ ((format (printf, 1, 2)))
     __attribute__ ((noreturn));
 void printf(const char *fmt, ...)