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 19