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 CONFIG_SYS_NUM_FM1_DTSEC 10 #undef CONFIG_SYS_NUM_FM2_DTSEC 11 #define CONFIG_SYS_NUM_FM1_DTSEC 4 12 #define CONFIG_SYS_NUM_FM2_DTSEC 4 13 14 void fdt_fixup_board_enet(void *blob); 15 void pci_of_setup(void *blob, bd_t *bd); 16 17 #endif 18