reformatted

BaS_gcc/sys/BaS.c

@@ -390,7 +390,7 @@ void BaS(void)
     NOP();                                      /* force pipeline sync */
     xprintf("finished\r\n");
 
-    #ifdef MACHINE_FIREBEE
+#ifdef MACHINE_FIREBEE
     xprintf("IDE reset: ");
     /* IDE reset */
     * (volatile uint8_t *) (0xffff8802 - 2) = 14;

BaS_gcc/sys/fault_vectors.c

@@ -55,44 +55,57 @@ void fault_handler(uint32_t pc, uint32_t format_status)
         case 0:
             xprintf("not an access or address error nor an interrupted debug service routine");
             break;
+
         case 1:
         case 3:
         case 11:
             xprintf("reserved");
             break;
+
         case 2:
             xprintf("interrupt during a debug service routine for faults other than access errors");
             break;
+
         case 4:
             xprintf("error (for example, protection fault) on instruction fetch");
             break;
+
         case 5:
             xprintf("TLB miss on opword or instruction fetch");
             break;
+
         case 6:
             xprintf("TLB miss on extension word of instruction fetch");
             break;
+
         case 7:
             xprintf("IFP access error while executing in emulator mode");
             break;
+
         case 8:
             xprintf("error on data write");
             break;
+
         case 9:
             xprintf("error on attempted write to write-protected space");
             break;
+
         case 10:
             xprintf("TLB miss on data write");
             break;
+
         case 12:
             xprintf("error on data read");
             break;
+
         case 13:
             xprintf("attempted read, read-modify-write of protected space");
             break;
+
         case 14:
             xprintf("TLB miss on data read or read-modify-write");
             break;
+
         case 15:
             xprintf("OEP access error while executing in emulator mode");
     }
@@ -104,39 +117,51 @@ void fault_handler(uint32_t pc, uint32_t format_status)
         case 2:
             xprintf("access error");
             break;
+
         case 3:
             xprintf("address error");
             break;
+
         case 4:
             xprintf("illegal instruction");
             break;
+
         case 5:
             xprintf("divide by zero");
             break;
+
         case 8:
             xprintf("privilege violation");
             break;
+
         case 9:
             xprintf("trace");
             break;
+
         case 10:
             xprintf("unimplemented line-a opcode");
             break;
+
         case 11:
             xprintf("unimplemented line-f opcode");
             break;
+
         case 12:
             xprintf("non-PC breakpoint debug interrupt");
             break;
+
         case 13:
             xprintf("PC breakpoint debug interrupt");
             break;
+
         case 14:
             xprintf("format error");
             break;
+
         case 24:
             xprintf("spurious interrupt");
             break;
+
         default:
             if ( ((vector >= 6) && (vector <= 7)) ||
                  ((vector >= 16) && (vector <= 23)))

BaS_gcc/sys/mmu.c

@@ -763,8 +763,7 @@ void mmu_init(void)
 }
 
 
-uint32_t mmutr_miss(uint32_t mmu_sr, uint32_t fault_address, uint32_t pc,
-                uint32_t format_status)
+uint32_t mmutr_miss(uint32_t mmu_sr, uint32_t fault_address, uint32_t pc, uint32_t format_status)
 {
     uint32_t fault = format_status & 0xc030000;