diff --git a/firmware/target/arm/s3c2440/gigabeat-fx/system-meg-fx.c b/firmware/target/arm/s3c2440/gigabeat-fx/system-meg-fx.c
index 61b4653726..700903b768 100644
--- a/firmware/target/arm/s3c2440/gigabeat-fx/system-meg-fx.c
+++ b/firmware/target/arm/s3c2440/gigabeat-fx/system-meg-fx.c
@@ -114,7 +114,7 @@ void system_reboot(void)
 void system_exception_wait(void)
 {
     INTMSK = 0xFFFFFFFF;
-    while (GPGDAT & (1 << 0)) == 0); /* Wait for power button */
+    while ((GPGDAT & (1 << 0)) == 0); /* Wait for power button */
 }
 
 static void set_page_tables(void)
diff --git a/firmware/target/arm/tms320dm320/system-dm320.c b/firmware/target/arm/tms320dm320/system-dm320.c
index f8cdd5b93e..e8d732351f 100644
--- a/firmware/target/arm/tms320dm320/system-dm320.c
+++ b/firmware/target/arm/tms320dm320/system-dm320.c
@@ -186,6 +186,11 @@ void system_reboot(void)
     );
 }
 
+void system_exception_wait(void)
+{
+    while (1);
+}
+
 void system_init(void)
 {
     /* taken from linux/arch/arm/mach-itdm320-20/irq.c */