2 * (C) Copyright 2012 Samsung Electronics
4 * SPDX-License-Identifier: GPL-2.0+
14 unsigned int decprot0stat;
15 unsigned int decprot0set;
16 unsigned int decprot0clr;
17 unsigned int decprot1stat;
18 unsigned int decprot1set;
19 unsigned int decprot1clr;
20 unsigned int decprot2stat;
21 unsigned int decprot2set;
22 unsigned int decprot2clr;
23 unsigned int decprot3stat;
24 unsigned int decprot3set;
25 unsigned int decprot3clr;
27 unsigned int periphid0;
28 unsigned int periphid1;
29 unsigned int periphid2;
30 unsigned int periphid3;
31 unsigned int pcellid0;
32 unsigned int pcellid1;
33 unsigned int pcellid2;
34 unsigned int pcellid3;
37 #define EXYNOS4_NR_TZPC_BANKS 6
38 #define EXYNOS5_NR_TZPC_BANKS 10
40 /* TZPC : Register Offsets */
41 #define TZPC_BASE_OFFSET 0x10000
44 * TZPC Register Value :
45 * R0SIZE: 0x0 : Size of secured ram
50 * TZPC Decode Protection Register Value :
51 * DECPROTXSET: 0xFF : Set Decode region to non-secure
53 #define DECPROTXSET 0xFF