1 /*
2  * Copyright 2010-2011 Freescale Semiconductor, Inc.
3  *
4  * See file CREDITS for list of people who contributed to this
5  * project.
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License as
9  * published by the Free Software Foundation; either version 2 of
10  * the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place, Suite 330, Boston,
20  * MA 02111-1307 USA
21  */
22 
23 #ifndef __FSL_SECURE_BOOT_H
24 #define __FSL_SECURE_BOOT_H
25 
26 /* Starting TLB number for the TLB entried for 3.5 G space created by ISBC */
27 #if defined(CONFIG_FSL_CORENET)
28 #define CONFIG_SYS_ISBC_START_TLB		3
29 #else
30 #define CONFIG_SYS_ISBC_START_TLB		0
31 #endif
32 
33 /* Number fo TLB's created by ISBC */
34 #define CONFIG_SYS_ISBC_NUM_TLBS		5
35 
36 #if defined(CONFIG_FSL_CORENET)
37 #define CONFIG_SYS_PBI_FLASH_BASE		0xc0000000
38 #else
39 #define CONFIG_SYS_PBI_FLASH_BASE		0xce000000
40 #endif
41 #define CONFIG_SYS_PBI_FLASH_WINDOW		0xcff80000
42 
43 #endif
44