xref: /rk3399_rockchip-uboot/board/freescale/t4rdb/t4rdb.h (revision 05d134b084590684bcf4d832c0035952727b7cd9)
1*0b2e13d9SChunhe Lan /*
2*0b2e13d9SChunhe Lan  * Copyright 2014 Freescale Semiconductor, Inc.
3*0b2e13d9SChunhe Lan  *
4*0b2e13d9SChunhe Lan  * SPDX-License-Identifier: GPL-2.0+
5*0b2e13d9SChunhe Lan  */
6*0b2e13d9SChunhe Lan 
7*0b2e13d9SChunhe Lan #ifndef __T4RDB_H__
8*0b2e13d9SChunhe Lan #define __T4RDB_H__
9*0b2e13d9SChunhe Lan 
10*0b2e13d9SChunhe Lan #undef CONFIG_SYS_NUM_FM1_DTSEC
11*0b2e13d9SChunhe Lan #undef CONFIG_SYS_NUM_FM2_DTSEC
12*0b2e13d9SChunhe Lan #define CONFIG_SYS_NUM_FM1_DTSEC	4
13*0b2e13d9SChunhe Lan #define CONFIG_SYS_NUM_FM2_DTSEC	4
14*0b2e13d9SChunhe Lan 
15*0b2e13d9SChunhe Lan void fdt_fixup_board_enet(void *blob);
16*0b2e13d9SChunhe Lan void pci_of_setup(void *blob, bd_t *bd);
17*0b2e13d9SChunhe Lan 
18*0b2e13d9SChunhe Lan #endif
19