Add DEBUG() macro for debugging that can be turned on and off with a

[pintos-anon] / src / devices / 16550a.h

diff --git a/src/devices/16550a.h b/src/devices/16550a.h
index bce26f33c5e66d54461e86d9d386953d021bffc3..bfe948489dbcb0a052765794cb052f94842b5a60 100644 (file)
--- a/src/devices/16550a.h
+++ b/src/devices/16550a.h
@@ -78,7 +78,7 @@ make_lcr (int bits, enum parity_type parity, int stop, bool send_break,
     case EVEN: lcr |= 0x18; break;
     case MARK: lcr |= 0x28; break;
     case SPACE: lcr |= 0x38; break;
-    default: panic ("bad parity %d", (int) parity); 
+    default: PANIC ("bad parity %d", (int) parity); 
     }
 
   ASSERT (stop == 1 || stop == 2);