* Patch by Nicolas Lacressonniere, 11 Jun 2003:
[platform/kernel/u-boot.git] / cpu / ppc4xx / start.S
index 6736b73..c6a9eda 100644 (file)
@@ -716,7 +716,7 @@ _start_of_vectors:
 #endif
 
 /* Machine check */
-       STD_EXCEPTION(0x200, MachineCheck, MachineCheckException)
+       CRIT_EXCEPTION(0x200, MachineCheck, MachineCheckException)
 
 /* Data Storage exception. */
        STD_EXCEPTION(0x300, DataStorage, UnknownException)