board/freescale/t4rdb/t4rdb.h

   1 /* SPDX-License-Identifier: GPL-2.0+ */
   2 /*
   3  * Copyright 2014 Freescale Semiconductor, Inc.
   4  */
   5
   6 #ifndef __T4RDB_H__
   7 #define __T4RDB_H__
   8
   9 #undef CFG_SYS_NUM_FM1_DTSEC
  10 #undef CFG_SYS_NUM_FM2_DTSEC
  11 #define CFG_SYS_NUM_FM1_DTSEC   4
  12 #define CFG_SYS_NUM_FM2_DTSEC   4
  13
  14 #define CORTINA_FW_ADDR_IFCNOR                          0xefe00000
  15 #define CORTINA_FW_ADDR_IFCNOR_ALTBANK          0xebf00000
  16
  17 void fdt_fixup_board_enet(void *blob);
  18 void pci_of_setup(void *blob, struct bd_info *bd);
  19
  20 #endif