xref: /optee_os/core/drivers/tzc380.c (revision 9fff1a96e9f981f6a6108447a4a98ceff2d5db6a)
11bb92983SJerome Forissier // SPDX-License-Identifier: BSD-2-Clause
24c56bf5fSPeng Fan /*
3dd13645cSClement Faure  * Copyright 2017-2020 NXP
44c56bf5fSPeng Fan  * All rights reserved.
54c56bf5fSPeng Fan  *
64c56bf5fSPeng Fan  * Peng Fan <peng.fan@nxp.com>
74c56bf5fSPeng Fan  *
84c56bf5fSPeng Fan  * Redistribution and use in source and binary forms, with or without
94c56bf5fSPeng Fan  * modification, are permitted provided that the following conditions are met:
104c56bf5fSPeng Fan  *
114c56bf5fSPeng Fan  * 1. Redistributions of source code must retain the above copyright notice,
124c56bf5fSPeng Fan  * this list of conditions and the following disclaimer.
134c56bf5fSPeng Fan  *
144c56bf5fSPeng Fan  * 2. Redistributions in binary form must reproduce the above copyright notice,
154c56bf5fSPeng Fan  * this list of conditions and the following disclaimer in the documentation
164c56bf5fSPeng Fan  * and/or other materials provided with the distribution.
174c56bf5fSPeng Fan  *
184c56bf5fSPeng Fan  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
194c56bf5fSPeng Fan  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
204c56bf5fSPeng Fan  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
214c56bf5fSPeng Fan  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
224c56bf5fSPeng Fan  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
234c56bf5fSPeng Fan  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
244c56bf5fSPeng Fan  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
254c56bf5fSPeng Fan  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
264c56bf5fSPeng Fan  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
274c56bf5fSPeng Fan  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
284c56bf5fSPeng Fan  * POSSIBILITY OF SUCH DAMAGE.
294c56bf5fSPeng Fan  */
304c56bf5fSPeng Fan 
314c56bf5fSPeng Fan #include <assert.h>
324c56bf5fSPeng Fan #include <drivers/tzc380.h>
334c56bf5fSPeng Fan #include <io.h>
344c56bf5fSPeng Fan #include <kernel/panic.h>
35343c1571SPeng Fan #include <mm/core_memprot.h>
36343c1571SPeng Fan #include <mm/core_mmu.h>
374c56bf5fSPeng Fan #include <stddef.h>
384c56bf5fSPeng Fan #include <trace.h>
394c56bf5fSPeng Fan #include <util.h>
404c56bf5fSPeng Fan 
414c56bf5fSPeng Fan /*
424c56bf5fSPeng Fan  * Implementation defined values used to validate inputs later.
434c56bf5fSPeng Fan  * Filters : max of 4 ; 0 to 3
444c56bf5fSPeng Fan  * Regions : max of 9 ; 0 to 8
454c56bf5fSPeng Fan  * Address width : Values between 32 to 64
464c56bf5fSPeng Fan  */
474c56bf5fSPeng Fan struct tzc_instance {
484c56bf5fSPeng Fan 	vaddr_t base;
494c56bf5fSPeng Fan 	uint8_t addr_width;
504c56bf5fSPeng Fan 	uint8_t num_regions;
514c56bf5fSPeng Fan };
524c56bf5fSPeng Fan 
534c56bf5fSPeng Fan static struct tzc_instance tzc;
544c56bf5fSPeng Fan 
554c56bf5fSPeng Fan static uint32_t tzc_read_build_config(vaddr_t base)
564c56bf5fSPeng Fan {
57918bb3a5SEtienne Carriere 	return io_read32(base + BUILD_CONFIG_OFF);
584c56bf5fSPeng Fan }
594c56bf5fSPeng Fan 
604c56bf5fSPeng Fan static void tzc_write_action(vaddr_t base, enum tzc_action action)
614c56bf5fSPeng Fan {
62918bb3a5SEtienne Carriere 	io_write32(base + ACTION_OFF, action);
634c56bf5fSPeng Fan }
644c56bf5fSPeng Fan 
657eedcd15SRouven Czerwinski static uint32_t tzc_read_action(vaddr_t base)
667eedcd15SRouven Czerwinski {
677eedcd15SRouven Czerwinski 	return io_read32(base + ACTION_OFF);
687eedcd15SRouven Czerwinski }
697eedcd15SRouven Czerwinski 
704c56bf5fSPeng Fan static void tzc_write_region_base_low(vaddr_t base, uint32_t region,
714c56bf5fSPeng Fan 				      uint32_t val)
724c56bf5fSPeng Fan {
73918bb3a5SEtienne Carriere 	io_write32(base + REGION_SETUP_LOW_OFF(region), val);
744c56bf5fSPeng Fan }
754c56bf5fSPeng Fan 
764c56bf5fSPeng Fan static void tzc_write_region_base_high(vaddr_t base, uint32_t region,
774c56bf5fSPeng Fan 				       uint32_t val)
784c56bf5fSPeng Fan {
79918bb3a5SEtienne Carriere 	io_write32(base + REGION_SETUP_HIGH_OFF(region), val);
804c56bf5fSPeng Fan }
814c56bf5fSPeng Fan 
82343c1571SPeng Fan static uint32_t tzc_read_region_attributes(vaddr_t base, uint32_t region)
83343c1571SPeng Fan {
84918bb3a5SEtienne Carriere 	return io_read32(base + REGION_ATTRIBUTES_OFF(region));
85343c1571SPeng Fan }
86343c1571SPeng Fan 
874c56bf5fSPeng Fan static void tzc_write_region_attributes(vaddr_t base, uint32_t region,
884c56bf5fSPeng Fan 					uint32_t val)
894c56bf5fSPeng Fan {
90918bb3a5SEtienne Carriere 	io_write32(base + REGION_ATTRIBUTES_OFF(region), val);
914c56bf5fSPeng Fan }
924c56bf5fSPeng Fan 
934c56bf5fSPeng Fan void tzc_init(vaddr_t base)
944c56bf5fSPeng Fan {
954c56bf5fSPeng Fan 	uint32_t tzc_build;
964c56bf5fSPeng Fan 
974c56bf5fSPeng Fan 	assert(base);
984c56bf5fSPeng Fan 	tzc.base = base;
994c56bf5fSPeng Fan 
1004c56bf5fSPeng Fan 	/* Save values we will use later. */
1014c56bf5fSPeng Fan 	tzc_build = tzc_read_build_config(tzc.base);
1024c56bf5fSPeng Fan 	tzc.addr_width  = ((tzc_build >> BUILD_CONFIG_AW_SHIFT) &
1034c56bf5fSPeng Fan 			   BUILD_CONFIG_AW_MASK) + 1;
1044c56bf5fSPeng Fan 	tzc.num_regions = ((tzc_build >> BUILD_CONFIG_NR_SHIFT) &
1054c56bf5fSPeng Fan 			   BUILD_CONFIG_NR_MASK) + 1;
1064c56bf5fSPeng Fan }
1074c56bf5fSPeng Fan 
108343c1571SPeng Fan /*
109343c1571SPeng Fan  * There are two modes of operation for the region security
110343c1571SPeng Fan  * permissions, with or without security inversion.
111343c1571SPeng Fan  * Check TZC380 "2.2.5 Region security permissions" for
112343c1571SPeng Fan  * more details.
113343c1571SPeng Fan  */
114343c1571SPeng Fan void tzc_security_inversion_en(vaddr_t base)
115343c1571SPeng Fan {
116918bb3a5SEtienne Carriere 	io_write32(base + SECURITY_INV_EN_OFF, 1);
117343c1571SPeng Fan }
118343c1571SPeng Fan 
119343c1571SPeng Fan /*
120343c1571SPeng Fan  * Enable a single region. Sometimes we could not use tzc_configure_region
121343c1571SPeng Fan  * to enable the region, when security inversion is on.
122343c1571SPeng Fan  * When need security inversion, we need to first configure
123343c1571SPeng Fan  * region address and attribute, then configure security inversion,
124343c1571SPeng Fan  * then enable the regions.
125343c1571SPeng Fan  */
126343c1571SPeng Fan void tzc_region_enable(uint8_t region)
127343c1571SPeng Fan {
128343c1571SPeng Fan 	uint32_t val;
129343c1571SPeng Fan 
130343c1571SPeng Fan 	val = tzc_read_region_attributes(tzc.base, region);
131343c1571SPeng Fan 	val |= TZC_ATTR_REGION_EN_MASK;
132343c1571SPeng Fan 	tzc_write_region_attributes(tzc.base, region, val);
133343c1571SPeng Fan }
134343c1571SPeng Fan 
135343c1571SPeng Fan /*
136343c1571SPeng Fan  * Dump info when TZC380 catchs an unallowed access with TZC
137343c1571SPeng Fan  * interrupt enabled.
138343c1571SPeng Fan  */
139343c1571SPeng Fan void tzc_fail_dump(void)
140343c1571SPeng Fan {
141343c1571SPeng Fan 	vaddr_t base __maybe_unused = core_mmu_get_va(tzc.base,
142343c1571SPeng Fan 						      MEM_AREA_IO_SEC);
143343c1571SPeng Fan 
144343c1571SPeng Fan 	EMSG("Fail address Low 0x%" PRIx32,
145918bb3a5SEtienne Carriere 	     io_read32(base + FAIL_ADDRESS_LOW_OFF));
146343c1571SPeng Fan 	EMSG("Fail address High 0x%" PRIx32,
147918bb3a5SEtienne Carriere 	     io_read32(base + FAIL_ADDRESS_HIGH_OFF));
148918bb3a5SEtienne Carriere 	EMSG("Fail Control 0x%" PRIx32, io_read32(base + FAIL_CONTROL_OFF));
149918bb3a5SEtienne Carriere 	EMSG("Fail Id 0x%" PRIx32, io_read32(base + FAIL_ID));
150343c1571SPeng Fan }
151343c1571SPeng Fan 
152343c1571SPeng Fan void tzc_int_clear(void)
153343c1571SPeng Fan {
154343c1571SPeng Fan 	vaddr_t base = core_mmu_get_va(tzc.base, MEM_AREA_IO_SEC);
155343c1571SPeng Fan 
156918bb3a5SEtienne Carriere 	io_write32(base + INT_CLEAR, 0);
157343c1571SPeng Fan }
158343c1571SPeng Fan 
1594c56bf5fSPeng Fan static uint32_t addr_low(vaddr_t addr)
1604c56bf5fSPeng Fan {
1614c56bf5fSPeng Fan 	return (uint32_t)addr;
1624c56bf5fSPeng Fan }
1634c56bf5fSPeng Fan 
1644c56bf5fSPeng Fan static uint32_t addr_high(vaddr_t addr __maybe_unused)
1654c56bf5fSPeng Fan {
1664c56bf5fSPeng Fan #if (UINTPTR_MAX == UINT64_MAX)
1674c56bf5fSPeng Fan 	return addr >> 32;
1684c56bf5fSPeng Fan #else
1694c56bf5fSPeng Fan 	return 0;
1704c56bf5fSPeng Fan #endif
1714c56bf5fSPeng Fan }
1724c56bf5fSPeng Fan 
1734c56bf5fSPeng Fan 
1744c56bf5fSPeng Fan /*
1754c56bf5fSPeng Fan  * `tzc_configure_region` is used to program regions into the TrustZone
1764c56bf5fSPeng Fan  * controller.
1774c56bf5fSPeng Fan  */
1784c56bf5fSPeng Fan void tzc_configure_region(uint8_t region, vaddr_t region_base, uint32_t attr)
1794c56bf5fSPeng Fan {
1804c56bf5fSPeng Fan 	assert(tzc.base);
1814c56bf5fSPeng Fan 
1824c56bf5fSPeng Fan 	assert(region < tzc.num_regions);
1834c56bf5fSPeng Fan 
184fe1404daSPeng Fan 	/*
185fe1404daSPeng Fan 	 * For region 0, this high/low/size/en field is Read Only (RO).
186fe1404daSPeng Fan 	 * So should not configure those field for region 0.
187fe1404daSPeng Fan 	 */
188fe1404daSPeng Fan 	if (region) {
189fe1404daSPeng Fan 		tzc_write_region_base_low(tzc.base, region,
190fe1404daSPeng Fan 					  addr_low(region_base));
191fe1404daSPeng Fan 		tzc_write_region_base_high(tzc.base, region,
192fe1404daSPeng Fan 					   addr_high(region_base));
1934c56bf5fSPeng Fan 		tzc_write_region_attributes(tzc.base, region, attr);
194fe1404daSPeng Fan 	} else {
195fe1404daSPeng Fan 		tzc_write_region_attributes(tzc.base, region,
196fe1404daSPeng Fan 					    attr & TZC_ATTR_SP_MASK);
197fe1404daSPeng Fan 	}
1984c56bf5fSPeng Fan }
1994c56bf5fSPeng Fan 
2004c56bf5fSPeng Fan void tzc_set_action(enum tzc_action action)
2014c56bf5fSPeng Fan {
2024c56bf5fSPeng Fan 	assert(tzc.base);
2034c56bf5fSPeng Fan 
2044c56bf5fSPeng Fan 	/*
2054c56bf5fSPeng Fan 	 * - Currently no handler is provided to trap an error via interrupt
2064c56bf5fSPeng Fan 	 *   or exception.
2074c56bf5fSPeng Fan 	 * - The interrupt action has not been tested.
2084c56bf5fSPeng Fan 	 */
2094c56bf5fSPeng Fan 	tzc_write_action(tzc.base, action);
2104c56bf5fSPeng Fan }
2114c56bf5fSPeng Fan 
2127eedcd15SRouven Czerwinski uint32_t tzc_get_action(void)
2137eedcd15SRouven Czerwinski {
2147eedcd15SRouven Czerwinski 	assert(tzc.base);
2157eedcd15SRouven Czerwinski 
2167eedcd15SRouven Czerwinski 	return tzc_read_action(tzc.base);
2177eedcd15SRouven Czerwinski }
2187eedcd15SRouven Czerwinski 
219e8e7f1c5SRouven Czerwinski int tzc_auto_configure(vaddr_t addr, vaddr_t size, uint32_t attr,
220e8e7f1c5SRouven Czerwinski 		       uint8_t region)
221e8e7f1c5SRouven Czerwinski {
222e8e7f1c5SRouven Czerwinski 	uint64_t sub_region_size = 0;
223e8e7f1c5SRouven Czerwinski 	uint64_t area = 0;
224e8e7f1c5SRouven Czerwinski 	uint8_t lregion = region;
225e8e7f1c5SRouven Czerwinski 	uint64_t region_size = 0;
226e8e7f1c5SRouven Czerwinski 	vaddr_t sub_address = 0;
227e8e7f1c5SRouven Czerwinski 	vaddr_t address = addr;
228e8e7f1c5SRouven Czerwinski 	uint64_t lsize = size;
229e8e7f1c5SRouven Czerwinski 	uint32_t mask = 0;
230e8e7f1c5SRouven Czerwinski 	int i = 0;
231dd13645cSClement Faure 	uint8_t pow = 0;
232dd13645cSClement Faure 
233dd13645cSClement Faure 	assert(tzc.base);
234dd13645cSClement Faure 
235dd13645cSClement Faure 	/*
236dd13645cSClement Faure 	 * TZC380 RM
237dd13645cSClement Faure 	 * For region_attributes_<n> registers, region_size:
238dd13645cSClement Faure 	 * Note: The AXI address width, that is AXI_ADDRESS_MSB+1, controls the
239dd13645cSClement Faure 	 * upper limit value of the field.
240dd13645cSClement Faure 	 */
241dd13645cSClement Faure 	pow = tzc.addr_width;
242e8e7f1c5SRouven Czerwinski 
243e8e7f1c5SRouven Czerwinski 	while (lsize != 0 && pow > 15) {
244e8e7f1c5SRouven Czerwinski 		region_size = 1ULL << pow;
245e8e7f1c5SRouven Czerwinski 
246e8e7f1c5SRouven Czerwinski 		/* Case region fits alignment and covers requested area */
247e8e7f1c5SRouven Czerwinski 		if ((address % region_size == 0) &&
248e8e7f1c5SRouven Czerwinski 		    ((address + lsize) % region_size == 0)) {
249e8e7f1c5SRouven Czerwinski 			tzc_configure_region(lregion, address,
250e8e7f1c5SRouven Czerwinski 					     TZC_ATTR_REGION_SIZE(pow - 1) |
251e8e7f1c5SRouven Czerwinski 					     TZC_ATTR_REGION_EN_MASK |
252e8e7f1c5SRouven Czerwinski 					     attr);
253e8e7f1c5SRouven Czerwinski 			lregion++;
254e8e7f1c5SRouven Czerwinski 			address += region_size;
255e8e7f1c5SRouven Czerwinski 			lsize -= region_size;
256e8e7f1c5SRouven Czerwinski 			pow--;
257e8e7f1c5SRouven Czerwinski 			continue;
258e8e7f1c5SRouven Czerwinski 		}
259e8e7f1c5SRouven Czerwinski 
260e8e7f1c5SRouven Czerwinski 		/* Cover area using several subregions */
261e8e7f1c5SRouven Czerwinski 		sub_region_size = region_size / 8;
262e8e7f1c5SRouven Czerwinski 		if (address % sub_region_size == 0 &&
263e8e7f1c5SRouven Czerwinski 		    lsize > 2 * sub_region_size) {
264e8e7f1c5SRouven Czerwinski 			sub_address = (address / region_size) * region_size;
265e8e7f1c5SRouven Czerwinski 			mask = 0;
266e8e7f1c5SRouven Czerwinski 			for (i = 0; i < 8; i++) {
267e8e7f1c5SRouven Czerwinski 				area = (i + 1) * sub_region_size;
268e8e7f1c5SRouven Czerwinski 				if (sub_address + area <= address ||
269e8e7f1c5SRouven Czerwinski 				    sub_address + area > address + lsize) {
270e8e7f1c5SRouven Czerwinski 					mask |= TZC_ATTR_SUBREGION_DIS(i);
271e8e7f1c5SRouven Czerwinski 				} else {
272e8e7f1c5SRouven Czerwinski 					address += sub_region_size;
273e8e7f1c5SRouven Czerwinski 					lsize -= sub_region_size;
274e8e7f1c5SRouven Czerwinski 				}
275e8e7f1c5SRouven Czerwinski 			}
276e8e7f1c5SRouven Czerwinski 			tzc_configure_region(lregion, sub_address,
277e8e7f1c5SRouven Czerwinski 					     TZC_ATTR_REGION_SIZE(pow - 1) |
278e8e7f1c5SRouven Czerwinski 					     TZC_ATTR_REGION_EN_MASK |
279e8e7f1c5SRouven Czerwinski 					     mask | attr);
280e8e7f1c5SRouven Czerwinski 			lregion++;
281e8e7f1c5SRouven Czerwinski 			pow--;
282e8e7f1c5SRouven Czerwinski 			continue;
283e8e7f1c5SRouven Czerwinski 		}
284e8e7f1c5SRouven Czerwinski 		pow--;
285e8e7f1c5SRouven Czerwinski 	}
286e8e7f1c5SRouven Czerwinski 	assert(lsize == 0);
287e8e7f1c5SRouven Czerwinski 	assert(address == addr + size);
288e8e7f1c5SRouven Czerwinski 	return lregion;
289e8e7f1c5SRouven Czerwinski }
290e8e7f1c5SRouven Czerwinski 
2915544b89dSRouven Czerwinski /*
2925544b89dSRouven Czerwinski  * `region_lockdown` is used to lockdown the TZC380 configuration to prevent
2935544b89dSRouven Czerwinski  * unintended overwrites of the configuration. Returns TEE_ERROR_SECURITY in
2945544b89dSRouven Czerwinski  * case the lockdown fails.
2955544b89dSRouven Czerwinski  */
2965544b89dSRouven Czerwinski TEE_Result tzc_regions_lockdown(void)
2975544b89dSRouven Czerwinski {
2985544b89dSRouven Czerwinski 	uint32_t val = 0;
2995544b89dSRouven Czerwinski 	uint32_t check = 0;
3005544b89dSRouven Czerwinski 
3015544b89dSRouven Czerwinski 	val = LOCKDOWN_RANGE_ENABLE | tzc.num_regions;
3025544b89dSRouven Czerwinski 	io_write32(tzc.base + LOCKDOWN_RANGE_OFF, val);
3035544b89dSRouven Czerwinski 	check = io_read32(tzc.base + LOCKDOWN_RANGE_OFF);
3045544b89dSRouven Czerwinski 	if (check != val)
3055544b89dSRouven Czerwinski 		return TEE_ERROR_SECURITY;
3065544b89dSRouven Czerwinski 
3075544b89dSRouven Czerwinski 	val = LOCKDOWN_SELECT_RANGE_ENABLE;
3085544b89dSRouven Czerwinski 	io_write32(tzc.base + LOCKDOWN_SELECT_OFF, val);
3095544b89dSRouven Czerwinski 	check = io_read32(tzc.base + LOCKDOWN_SELECT_OFF);
3105544b89dSRouven Czerwinski 	if (check != val)
3115544b89dSRouven Czerwinski 		return TEE_ERROR_SECURITY;
3125544b89dSRouven Czerwinski 
3135544b89dSRouven Czerwinski 	return TEE_SUCCESS;
3145544b89dSRouven Czerwinski }
3155544b89dSRouven Czerwinski 
3164c56bf5fSPeng Fan #if TRACE_LEVEL >= TRACE_DEBUG
3174c56bf5fSPeng Fan 
3184c56bf5fSPeng Fan static uint32_t tzc_read_region_base_low(vaddr_t base, uint32_t region)
3194c56bf5fSPeng Fan {
320918bb3a5SEtienne Carriere 	return io_read32(base + REGION_SETUP_LOW_OFF(region));
3214c56bf5fSPeng Fan }
3224c56bf5fSPeng Fan 
3234c56bf5fSPeng Fan static uint32_t tzc_read_region_base_high(vaddr_t base, uint32_t region)
3244c56bf5fSPeng Fan {
325918bb3a5SEtienne Carriere 	return io_read32(base + REGION_SETUP_HIGH_OFF(region));
3264c56bf5fSPeng Fan }
3274c56bf5fSPeng Fan 
3284c56bf5fSPeng Fan #define	REGION_MAX	16
3294c56bf5fSPeng Fan void tzc_dump_state(void)
3304c56bf5fSPeng Fan {
3314c56bf5fSPeng Fan 	uint32_t n;
3324c56bf5fSPeng Fan 	uint32_t temp_32reg, temp_32reg_h;
3334c56bf5fSPeng Fan 
334*9fff1a96SRouven Czerwinski 	DMSG("TZC380 configuration:");
33565fe41dbSEtienne Carriere 	DMSG("security_inversion_en %x",
336918bb3a5SEtienne Carriere 	     io_read32(tzc.base + SECURITY_INV_EN_OFF));
3374c56bf5fSPeng Fan 	for (n = 0; n <= REGION_MAX; n++) {
3384c56bf5fSPeng Fan 		temp_32reg = tzc_read_region_attributes(tzc.base, n);
3394c56bf5fSPeng Fan 		if (!(temp_32reg & TZC_ATTR_REGION_EN_MASK))
3404c56bf5fSPeng Fan 			continue;
3414c56bf5fSPeng Fan 
34265fe41dbSEtienne Carriere 		DMSG("");
3434c56bf5fSPeng Fan 		DMSG("region %d", n);
3444c56bf5fSPeng Fan 		temp_32reg = tzc_read_region_base_low(tzc.base, n);
3454c56bf5fSPeng Fan 		temp_32reg_h = tzc_read_region_base_high(tzc.base, n);
3464c56bf5fSPeng Fan 		DMSG("region_base: 0x%08x%08x", temp_32reg_h, temp_32reg);
3474c56bf5fSPeng Fan 		temp_32reg = tzc_read_region_attributes(tzc.base, n);
3484c56bf5fSPeng Fan 		DMSG("region sp: %x", temp_32reg >> TZC_ATTR_SP_SHIFT);
34965fe41dbSEtienne Carriere 		DMSG("region size: %x", (temp_32reg & TZC_REGION_SIZE_MASK) >>
3504c56bf5fSPeng Fan 				TZC_REGION_SIZE_SHIFT);
3514c56bf5fSPeng Fan 	}
352*9fff1a96SRouven Czerwinski 	DMSG("Lockdown select: %"PRIx32,
353*9fff1a96SRouven Czerwinski 	     io_read32(tzc.base + LOCKDOWN_SELECT_OFF));
354*9fff1a96SRouven Czerwinski 	DMSG("Lockdown range: %"PRIx32,
355*9fff1a96SRouven Czerwinski 	     io_read32(tzc.base + LOCKDOWN_RANGE_OFF));
356*9fff1a96SRouven Czerwinski 	DMSG("Action register: %"PRIx32, tzc_get_action());
3574c56bf5fSPeng Fan 	DMSG("exit");
3584c56bf5fSPeng Fan }
3594c56bf5fSPeng Fan 
3604c56bf5fSPeng Fan #endif /* CFG_TRACE_LEVEL >= TRACE_DEBUG */
361