pci_period = PERIOD_66_66MHZ;
                        break;
                default:
-                       pci_period = PERIOD_33_33MHZ;;
+                       pci_period = PERIOD_33_33MHZ;
                        break;
        }
 
 
        if (ppc440ep_core_selection[PACKET_REJ_FUNC_EN] == CORE_SELECTED)
        {
                mfsdr(SDR0_MFR, sdr0_mfr);
-               sdr0_mfr = (sdr0_mfr & ~SDR0_MFR_PKT_REJ_MASK) | SDR0_MFR_PKT_REJ_EN;;
+               sdr0_mfr = (sdr0_mfr & ~SDR0_MFR_PKT_REJ_MASK) | SDR0_MFR_PKT_REJ_EN;
                mtsdr(SDR0_MFR, sdr0_mfr);
        }
 
 
 
        mtdcr( L2_CACHE_CMD, 0x80000000 );      /* issue HCLEAR command via L2_CMD */
 
-       while (!(mfdcr( L2_CACHE_STAT ) & 0x80000000 ))  ;; /* poll L2_SR for completion */
+       while (!(mfdcr( L2_CACHE_STAT ) & 0x80000000 ))  ; /* poll L2_SR for completion */
 
        mtdcr( L2_CACHE_CMD, 0x10000000 );      /* clear cache errors L2_CMD[CCP] */
 
 
                pll_idx = 1;
                break;
        case DDR_PLL:
-               pll_idx = 2;;
+               pll_idx = 2;
                break;
        default:
                pll_idx = pll;
 
                printf("Recognized BeagleBoardToys WiFi board\n");
                MUX_BBTOYS_WIFI()
                setenv("buddy", "bbtoys-wifi");
-               break;;
+               break;
        case BBTOYS_VGA:
                printf("Recognized BeagleBoardToys VGA board\n");
-               break;;
+               break;
        case BBTOYS_LCD:
                printf("Recognized BeagleBoardToys LCD board\n");
-               break;;
+               break;
        case BCT_BRETTL3:
                printf("Recognized bct electronic GmbH brettl3 board\n");
                break;
 
 static void i2s_init(void)
 {
        unsigned long i;
-       struct mpc5xxx_psc *psc = (struct mpc5xxx_psc*)MPC5XXX_PSC2;;
+       struct mpc5xxx_psc *psc = (struct mpc5xxx_psc*)MPC5XXX_PSC2;
        struct mpc5xxx_gpio *gpio = (struct mpc5xxx_gpio*)MPC5XXX_GPIO;
 
        gpio->port_config |= 0x00000070; /* PSC2 ports as Codec with MCLK */
 
 
        max_pup = (ecc + (1 - ecc) * dram_info->num_of_std_pups);
 
-       DEBUG_DQS_RESULTS_S("\n############ LOG LEVEL 2(Windows margins) ############\n");;
+       DEBUG_DQS_RESULTS_S("\n############ LOG LEVEL 2(Windows margins) ############\n");
 
        if (is_tx) {
                DEBUG_DQS_RESULTS_C("DDR3 - DQS TX - Set Dqs Centralization Results - CS: ",
 
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                case AT45DB081:
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                case AT45DB161:
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                case AT45DB321:
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                case AT45DB642:
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                case AT45DB128:
                        dataflash_info[i].Desc.DataFlash_state = IDLE;
                        dataflash_info[i].logical_address = cs[i].addr;
                        dataflash_info[i].id = dfcode;
-                       found[i] += dfcode;;
+                       found[i] += dfcode;
                        break;
 
                default:
 
 
        /* Disable DMA tasks */
        MCD_killDma(info->txTask);
-       MCD_killDma(info->rxTask);;
+       MCD_killDma(info->rxTask);
 
        /* Disable the Ethernet Controller */
        fecp->ecr &= ~FEC_ECR_ETHER_EN;
 
                /* Graceful stop complete */
                if (in_be32(&fec->eth->x_cntrl) & 0x00000001) {
                        mpc512x_fec_halt (dev);
-                       clrbits_be32(&fec->eth->x_cntrl, 0x00000001);;
+                       clrbits_be32(&fec->eth->x_cntrl, 0x00000001);
                        mpc512x_fec_init (dev, NULL);
                }
        }
 
                                        printf(" %02x", tmp);
                                        if (0 == (++dx % 16)) printf("\n ");
 #endif
-                                       *data++ = tmp;;
+                                       *data++ = tmp;
                                        mlen--;
                                }
                        }
 
                i++;
                if (i > 32) {
                        printf("\n");
-                       i = 0;;
+                       i = 0;
                }
        }
        printf("\n");
 
 #define WARN_ON(condition) ({                                          \
        int __ret_warn_on = !!(condition);                              \
        if (unlikely(__ret_warn_on))                                    \
-               printf("WARNING in %s line %d\n", __FILE__, __LINE__);; \
+               printf("WARNING in %s line %d\n", __FILE__, __LINE__);  \
        unlikely(__ret_warn_on);                                        \
 })
 
 
 
 static void ExtractNumber (uint32_t* value,  char* getPtr)
 {
-  bool  neg = false;;
+  bool  neg = false;
 
   while (*getPtr == ' ') getPtr++;
   if (*getPtr == '-') {