|
@@ -177,13 +177,13 @@ void pci_init_board(void)
|
|
|
debug (" pci_init_board: devdisr=%x, io_sel=%x\n", devdisr, io_sel);
|
|
|
|
|
|
if (!(pordevsr & MPC85xx_PORDEVSR_SGMII1_DIS))
|
|
|
- printf (" eTSEC1 is in sgmii mode.\n");
|
|
|
+ printf("eTSEC1 is in sgmii mode.\n");
|
|
|
if (!(pordevsr & MPC85xx_PORDEVSR_SGMII2_DIS))
|
|
|
- printf (" eTSEC2 is in sgmii mode.\n");
|
|
|
+ printf("eTSEC2 is in sgmii mode.\n");
|
|
|
if (!(pordevsr & MPC85xx_PORDEVSR_SGMII3_DIS))
|
|
|
- printf (" eTSEC3 is in sgmii mode.\n");
|
|
|
+ printf("eTSEC3 is in sgmii mode.\n");
|
|
|
if (!(pordevsr & MPC85xx_PORDEVSR_SGMII4_DIS))
|
|
|
- printf (" eTSEC4 is in sgmii mode.\n");
|
|
|
+ printf("eTSEC4 is in sgmii mode.\n");
|
|
|
|
|
|
puts("\n");
|
|
|
#ifdef CONFIG_PCIE3
|