1/* SPDX-License-Identifier: GPL-2.0+ */ 2/* 3 * Copyright 2014 Freescale Semiconductor, Inc. 4 */ 5 6#ifndef __T1024_RDB_H__ 7#define __T1024_RDB_H__ 8 9void fdt_fixup_board_enet(void *blob); 10void pci_of_setup(void *blob, struct bd_info *bd); 11#ifdef CONFIG_TARGET_T1023RDB 12static u32 t1023rdb_ctrl(u32 ctrl_type); 13static void fdt_enable_nor(void *blob); 14#endif 15#endif 16