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