1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright 2013-2015 Arcturus Networks, Inc. 4 * http://www.arcturusnetworks.com/products/ucp1020/ 5 * based on board/freescale/p1_p2_rdb_pc/spl.c 6 * original copyright follows: 7 * Copyright 2013 Freescale Semiconductor, Inc. 8 */ 9 10 #include <common.h> 11 #include <asm/fsl_law.h> 12 #include <asm/mmu.h> 13 14 struct law_entry law_table[] = { 15 #ifdef CONFIG_VSC7385_ENET 16 SET_LAW(CONFIG_SYS_VSC7385_BASE_PHYS, LAW_SIZE_1M, LAW_TRGT_IF_LBC), 17 #endif 18 SET_LAW(CONFIG_SYS_FLASH_BASE_PHYS, LAW_SIZE_64M, LAW_TRGT_IF_LBC), 19 #ifdef CONFIG_SYS_NAND_BASE_PHYS 20 SET_LAW(CONFIG_SYS_NAND_BASE_PHYS, LAW_SIZE_32K, LAW_TRGT_IF_LBC), 21 #endif 22 }; 23 24 int num_law_entries = ARRAY_SIZE(law_table); 25