board/freescale/t4rdb/t4rdb.h

   1 /*
   2  * Copyright 2014 Freescale Semiconductor, Inc.
   3  *
   4  * SPDX-License-Identifier: GPL-2.0+
   5  */
   6
   7 #ifndef __T4RDB_H__
   8 #define __T4RDB_H__
   9
  10 #undef CONFIG_SYS_NUM_FM1_DTSEC
  11 #undef CONFIG_SYS_NUM_FM2_DTSEC
  12 #define CONFIG_SYS_NUM_FM1_DTSEC        4
  13 #define CONFIG_SYS_NUM_FM2_DTSEC        4
  14
  15 void fdt_fixup_board_enet(void *blob);
  16 void pci_of_setup(void *blob, bd_t *bd);
  17
  18 #endif