ehci: msm: Add missing platdata

[oweals/u-boot.git] / board / freescale / t104xrdb / cpld.c

diff --git a/board/freescale/t104xrdb/cpld.c b/board/freescale/t104xrdb/cpld.c
index df0e348d4afd798547ba14e24d50206d0842571f..f9c8ab3752ecc594d72001381b1ae3a682f661a0 100644 (file)
--- a/board/freescale/t104xrdb/cpld.c
+++ b/board/freescale/t104xrdb/cpld.c
@@ -1,8 +1,7 @@
+// SPDX-License-Identifier: GPL-2.0+
 /**
  * Copyright 2014 Freescale Semiconductor
  *
- * SPDX-License-Identifier:    GPL-2.0+
- *
  * This file provides support for the board-specific CPLD used on some Freescale
  * reference boards.
  *
@@ -69,7 +68,11 @@ static void cpld_dump_regs(void)
        printf("int_status       = 0x%02x\n", CPLD_READ(int_status));
        printf("flash_ctl_status = 0x%02x\n", CPLD_READ(flash_ctl_status));
        printf("fan_ctl_status   = 0x%02x\n", CPLD_READ(fan_ctl_status));
+#if defined(CONFIG_TARGET_T1040D4D4RDB) || defined(CONFIG_TARGET_T1042D4RDB)
+       printf("int_mask         = 0x%02x\n", CPLD_READ(int_mask));
+#else
        printf("led_ctl_status   = 0x%02x\n", CPLD_READ(led_ctl_status));
+#endif
        printf("sfp_ctl_status   = 0x%02x\n", CPLD_READ(sfp_ctl_status));
        printf("misc_ctl_status  = 0x%02x\n", CPLD_READ(misc_ctl_status));
        printf("boot_override    = 0x%02x\n", CPLD_READ(boot_override));