xref: /rk3399_ARM-atf/plat/imx/imx8qx/imx8qx_bl31_setup.c (revision 0bc1830928616c850ce377c837f883bffe4caa3e)
1*0bc18309SAnson Huang /*
2*0bc18309SAnson Huang  * Copyright (c) 2015-2018, ARM Limited and Contributors. All rights reserved.
3*0bc18309SAnson Huang  *
4*0bc18309SAnson Huang  * SPDX-License-Identifier: BSD-3-Clause
5*0bc18309SAnson Huang  */
6*0bc18309SAnson Huang 
7*0bc18309SAnson Huang #include <arch_helpers.h>
8*0bc18309SAnson Huang #include <assert.h>
9*0bc18309SAnson Huang #include <bl_common.h>
10*0bc18309SAnson Huang #include <cci.h>
11*0bc18309SAnson Huang #include <console.h>
12*0bc18309SAnson Huang #include <context.h>
13*0bc18309SAnson Huang #include <context_mgmt.h>
14*0bc18309SAnson Huang #include <debug.h>
15*0bc18309SAnson Huang #include <imx8qx_pads.h>
16*0bc18309SAnson Huang #include <imx8_iomux.h>
17*0bc18309SAnson Huang #include <imx8_lpuart.h>
18*0bc18309SAnson Huang #include <mmio.h>
19*0bc18309SAnson Huang #include <platform.h>
20*0bc18309SAnson Huang #include <platform_def.h>
21*0bc18309SAnson Huang #include <plat_imx8.h>
22*0bc18309SAnson Huang #include <sci/sci.h>
23*0bc18309SAnson Huang #include <sec_rsrc.h>
24*0bc18309SAnson Huang #include <stdbool.h>
25*0bc18309SAnson Huang #include <xlat_tables.h>
26*0bc18309SAnson Huang 
27*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __COHERENT_RAM_START__, BL31_COHERENT_RAM_START);
28*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __COHERENT_RAM_END__, BL31_COHERENT_RAM_END);
29*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __RO_START__, BL31_RO_START);
30*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __RO_END__, BL31_RO_END);
31*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __RW_START__, BL31_RW_START);
32*0bc18309SAnson Huang IMPORT_SYM(unsigned long, __RW_END__, BL31_RW_END);
33*0bc18309SAnson Huang 
34*0bc18309SAnson Huang static entry_point_info_t bl32_image_ep_info;
35*0bc18309SAnson Huang static entry_point_info_t bl33_image_ep_info;
36*0bc18309SAnson Huang 
37*0bc18309SAnson Huang #define UART_PAD_CTRL	(PADRING_IFMUX_EN_MASK | PADRING_GP_EN_MASK | \
38*0bc18309SAnson Huang 			(SC_PAD_CONFIG_OUT_IN << PADRING_CONFIG_SHIFT) | \
39*0bc18309SAnson Huang 			(SC_PAD_ISO_OFF << PADRING_LPCONFIG_SHIFT) | \
40*0bc18309SAnson Huang 			(SC_PAD_28FDSOI_DSE_DV_LOW << PADRING_DSE_SHIFT) | \
41*0bc18309SAnson Huang 			(SC_PAD_28FDSOI_PS_PD << PADRING_PULL_SHIFT))
42*0bc18309SAnson Huang 
43*0bc18309SAnson Huang static const mmap_region_t imx_mmap[] = {
44*0bc18309SAnson Huang 	MAP_REGION_FLAT(IMX_BOOT_UART_BASE, IMX_BOOT_UART_SIZE, MT_DEVICE | MT_RW),
45*0bc18309SAnson Huang 	MAP_REGION_FLAT(SC_IPC_BASE, SC_IPC_SIZE, MT_DEVICE | MT_RW),
46*0bc18309SAnson Huang 	MAP_REGION_FLAT(PLAT_GICD_BASE, PLAT_GICD_SIZE, MT_DEVICE | MT_RW),
47*0bc18309SAnson Huang 	MAP_REGION_FLAT(PLAT_GICR_BASE, PLAT_GICR_SIZE, MT_DEVICE | MT_RW),
48*0bc18309SAnson Huang 	{0}
49*0bc18309SAnson Huang };
50*0bc18309SAnson Huang 
51*0bc18309SAnson Huang static uint32_t get_spsr_for_bl33_entry(void)
52*0bc18309SAnson Huang {
53*0bc18309SAnson Huang 	unsigned long el_status;
54*0bc18309SAnson Huang 	unsigned long mode;
55*0bc18309SAnson Huang 	uint32_t spsr;
56*0bc18309SAnson Huang 
57*0bc18309SAnson Huang 	/* figure out what mode we enter the non-secure world */
58*0bc18309SAnson Huang 	el_status = read_id_aa64pfr0_el1() >> ID_AA64PFR0_EL2_SHIFT;
59*0bc18309SAnson Huang 	el_status &= ID_AA64PFR0_ELX_MASK;
60*0bc18309SAnson Huang 
61*0bc18309SAnson Huang 	mode = (el_status) ? MODE_EL2 : MODE_EL1;
62*0bc18309SAnson Huang 
63*0bc18309SAnson Huang 	spsr = SPSR_64(mode, MODE_SP_ELX, DISABLE_ALL_EXCEPTIONS);
64*0bc18309SAnson Huang 	return spsr;
65*0bc18309SAnson Huang }
66*0bc18309SAnson Huang 
67*0bc18309SAnson Huang #if DEBUG_CONSOLE_A35
68*0bc18309SAnson Huang static void lpuart32_serial_setbrg(unsigned int base, int baudrate)
69*0bc18309SAnson Huang {
70*0bc18309SAnson Huang 	unsigned int sbr, osr, baud_diff, tmp_osr, tmp_sbr;
71*0bc18309SAnson Huang 	unsigned int diff1, diff2, tmp, rate;
72*0bc18309SAnson Huang 
73*0bc18309SAnson Huang 	if (baudrate == 0)
74*0bc18309SAnson Huang 		panic();
75*0bc18309SAnson Huang 
76*0bc18309SAnson Huang 	sc_pm_get_clock_rate(ipc_handle, SC_R_UART_0, 2, &rate);
77*0bc18309SAnson Huang 
78*0bc18309SAnson Huang 	baud_diff = baudrate;
79*0bc18309SAnson Huang 	osr = 0;
80*0bc18309SAnson Huang 	sbr = 0;
81*0bc18309SAnson Huang 	for (tmp_osr = 4; tmp_osr <= 32; tmp_osr++) {
82*0bc18309SAnson Huang 		tmp_sbr = (rate / (baudrate * tmp_osr));
83*0bc18309SAnson Huang 		if (tmp_sbr == 0)
84*0bc18309SAnson Huang 			tmp_sbr = 1;
85*0bc18309SAnson Huang 
86*0bc18309SAnson Huang 		/* calculate difference in actual baud w/ current values */
87*0bc18309SAnson Huang 		diff1 = rate / (tmp_osr * tmp_sbr) - baudrate;
88*0bc18309SAnson Huang 		diff2 = rate / (tmp_osr * (tmp_sbr + 1));
89*0bc18309SAnson Huang 
90*0bc18309SAnson Huang 		/* select best values between sbr and sbr+1 */
91*0bc18309SAnson Huang 		if (diff1 > (baudrate - diff2)) {
92*0bc18309SAnson Huang 			diff1 = baudrate - diff2;
93*0bc18309SAnson Huang 			tmp_sbr++;
94*0bc18309SAnson Huang 		}
95*0bc18309SAnson Huang 
96*0bc18309SAnson Huang 		if (diff1 <= baud_diff) {
97*0bc18309SAnson Huang 			baud_diff = diff1;
98*0bc18309SAnson Huang 			osr = tmp_osr;
99*0bc18309SAnson Huang 			sbr = tmp_sbr;
100*0bc18309SAnson Huang 		}
101*0bc18309SAnson Huang 	}
102*0bc18309SAnson Huang 
103*0bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + BAUD);
104*0bc18309SAnson Huang 
105*0bc18309SAnson Huang 	if ((osr > 3) && (osr < 8))
106*0bc18309SAnson Huang 		tmp |= LPUART_BAUD_BOTHEDGE_MASK;
107*0bc18309SAnson Huang 
108*0bc18309SAnson Huang 	tmp &= ~LPUART_BAUD_OSR_MASK;
109*0bc18309SAnson Huang 	tmp |= LPUART_BAUD_OSR(osr - 1);
110*0bc18309SAnson Huang 	tmp &= ~LPUART_BAUD_SBR_MASK;
111*0bc18309SAnson Huang 	tmp |= LPUART_BAUD_SBR(sbr);
112*0bc18309SAnson Huang 
113*0bc18309SAnson Huang 	/* explicitly disable 10 bit mode & set 1 stop bit */
114*0bc18309SAnson Huang 	tmp &= ~(LPUART_BAUD_M10_MASK | LPUART_BAUD_SBNS_MASK);
115*0bc18309SAnson Huang 
116*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + BAUD, tmp);
117*0bc18309SAnson Huang }
118*0bc18309SAnson Huang 
119*0bc18309SAnson Huang static int lpuart32_serial_init(unsigned int base)
120*0bc18309SAnson Huang {
121*0bc18309SAnson Huang 	unsigned int tmp;
122*0bc18309SAnson Huang 
123*0bc18309SAnson Huang 	/* disable TX & RX before enabling clocks */
124*0bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + CTRL);
125*0bc18309SAnson Huang 	tmp &= ~(CTRL_TE | CTRL_RE);
126*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, tmp);
127*0bc18309SAnson Huang 
128*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + MODIR, 0);
129*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + FIFO, ~(FIFO_TXFE | FIFO_RXFE));
130*0bc18309SAnson Huang 
131*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + MATCH, 0);
132*0bc18309SAnson Huang 
133*0bc18309SAnson Huang 	/* provide data bits, parity, stop bit, etc */
134*0bc18309SAnson Huang 	lpuart32_serial_setbrg(base, IMX_BOOT_UART_BAUDRATE);
135*0bc18309SAnson Huang 
136*0bc18309SAnson Huang 	/* eight data bits no parity bit */
137*0bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + CTRL);
138*0bc18309SAnson Huang 	tmp &= ~(LPUART_CTRL_PE_MASK | LPUART_CTRL_PT_MASK | LPUART_CTRL_M_MASK);
139*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, tmp);
140*0bc18309SAnson Huang 
141*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, CTRL_RE | CTRL_TE);
142*0bc18309SAnson Huang 
143*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x55);
144*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x55);
145*0bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x0A);
146*0bc18309SAnson Huang 
147*0bc18309SAnson Huang 	return 0;
148*0bc18309SAnson Huang }
149*0bc18309SAnson Huang #endif
150*0bc18309SAnson Huang 
151*0bc18309SAnson Huang void imx8_partition_resources(void)
152*0bc18309SAnson Huang {
153*0bc18309SAnson Huang 	sc_rm_pt_t secure_part, os_part;
154*0bc18309SAnson Huang 	sc_rm_mr_t mr, mr_record = 64;
155*0bc18309SAnson Huang 	sc_faddr_t start, end;
156*0bc18309SAnson Huang 	sc_err_t err;
157*0bc18309SAnson Huang 	bool owned;
158*0bc18309SAnson Huang 	int i;
159*0bc18309SAnson Huang 
160*0bc18309SAnson Huang 	err = sc_rm_get_partition(ipc_handle, &secure_part);
161*0bc18309SAnson Huang 	if (err)
162*0bc18309SAnson Huang 		ERROR("sc_rm_get_partition failed: %u\n", err);
163*0bc18309SAnson Huang 
164*0bc18309SAnson Huang 	err = sc_rm_partition_alloc(ipc_handle, &os_part, false, false,
165*0bc18309SAnson Huang 		false, false, false);
166*0bc18309SAnson Huang 	if (err)
167*0bc18309SAnson Huang 		ERROR("sc_rm_partition_alloc failed: %u\n", err);
168*0bc18309SAnson Huang 
169*0bc18309SAnson Huang 	err = sc_rm_set_parent(ipc_handle, os_part, secure_part);
170*0bc18309SAnson Huang 	if (err)
171*0bc18309SAnson Huang 		ERROR("sc_rm_set_parent: %u\n", err);
172*0bc18309SAnson Huang 
173*0bc18309SAnson Huang 	/* set secure resources to NOT-movable */
174*0bc18309SAnson Huang 	for (i = 0; i < (ARRAY_SIZE(secure_rsrcs)); i++) {
175*0bc18309SAnson Huang 		err = sc_rm_set_resource_movable(ipc_handle,
176*0bc18309SAnson Huang 			 secure_rsrcs[i], secure_rsrcs[i], false);
177*0bc18309SAnson Huang 		if (err)
178*0bc18309SAnson Huang 			ERROR("sc_rm_set_resource_movable: rsrc %u, ret %u\n",
179*0bc18309SAnson Huang 				secure_rsrcs[i], err);
180*0bc18309SAnson Huang 	}
181*0bc18309SAnson Huang 
182*0bc18309SAnson Huang 	/* move all movable resources and pins to non-secure partition */
183*0bc18309SAnson Huang 	err = sc_rm_move_all(ipc_handle, secure_part, os_part, true, true);
184*0bc18309SAnson Huang 	if (err)
185*0bc18309SAnson Huang 		ERROR("sc_rm_move_all: %u\n", err);
186*0bc18309SAnson Huang 
187*0bc18309SAnson Huang 	/* iterate through peripherals to give NS OS part access */
188*0bc18309SAnson Huang 	for (i = 0; i < ARRAY_SIZE(ns_access_allowed); i++) {
189*0bc18309SAnson Huang 		err = sc_rm_set_peripheral_permissions(ipc_handle,
190*0bc18309SAnson Huang 			ns_access_allowed[i], os_part, SC_RM_PERM_FULL);
191*0bc18309SAnson Huang 		if (err)
192*0bc18309SAnson Huang 			ERROR("sc_rm_set_peripheral_permissions: rsrc %u, \
193*0bc18309SAnson Huang 				ret %u\n", ns_access_allowed[i], err);
194*0bc18309SAnson Huang 	}
195*0bc18309SAnson Huang 
196*0bc18309SAnson Huang 	/*
197*0bc18309SAnson Huang 	 * sc_rm_set_peripheral_permissions
198*0bc18309SAnson Huang 	 * sc_rm_set_memreg_permissions
199*0bc18309SAnson Huang 	 * sc_rm_set_pin_movable
200*0bc18309SAnson Huang 	 */
201*0bc18309SAnson Huang 	for (mr = 0; mr < 64; mr++) {
202*0bc18309SAnson Huang 		owned = sc_rm_is_memreg_owned(ipc_handle, mr);
203*0bc18309SAnson Huang 		if (owned) {
204*0bc18309SAnson Huang 			err = sc_rm_get_memreg_info(ipc_handle, mr, &start, &end);
205*0bc18309SAnson Huang 			if (err)
206*0bc18309SAnson Huang 				ERROR("Memreg get info failed, %u\n", mr);
207*0bc18309SAnson Huang 
208*0bc18309SAnson Huang 			NOTICE("Memreg %u 0x%llx -- 0x%llx\n", mr, start, end);
209*0bc18309SAnson Huang 			if (BL31_BASE >= start && (BL31_LIMIT - 1) <= end) {
210*0bc18309SAnson Huang 				mr_record = mr; /* Record the mr for ATF running */
211*0bc18309SAnson Huang 			} else {
212*0bc18309SAnson Huang 				err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
213*0bc18309SAnson Huang 				if (err)
214*0bc18309SAnson Huang 					ERROR("Memreg assign failed, 0x%llx -- 0x%llx, \
215*0bc18309SAnson Huang 						err %d\n", start, end, err);
216*0bc18309SAnson Huang 			}
217*0bc18309SAnson Huang 		}
218*0bc18309SAnson Huang 	}
219*0bc18309SAnson Huang 
220*0bc18309SAnson Huang 	if (mr_record != 64) {
221*0bc18309SAnson Huang 		err = sc_rm_get_memreg_info(ipc_handle, mr_record, &start, &end);
222*0bc18309SAnson Huang 		if (err)
223*0bc18309SAnson Huang 			ERROR("Memreg get info failed, %u\n", mr_record);
224*0bc18309SAnson Huang 		if ((BL31_LIMIT - 1) < end) {
225*0bc18309SAnson Huang 			err = sc_rm_memreg_alloc(ipc_handle, &mr, BL31_LIMIT, end);
226*0bc18309SAnson Huang 			if (err)
227*0bc18309SAnson Huang 				ERROR("sc_rm_memreg_alloc failed, 0x%llx -- 0x%llx\n",
228*0bc18309SAnson Huang 					(sc_faddr_t)BL31_LIMIT, end);
229*0bc18309SAnson Huang 			err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
230*0bc18309SAnson Huang 			if (err)
231*0bc18309SAnson Huang 				ERROR("Memreg assign failed, 0x%llx -- 0x%llx\n",
232*0bc18309SAnson Huang 					(sc_faddr_t)BL31_LIMIT, end);
233*0bc18309SAnson Huang 		}
234*0bc18309SAnson Huang 
235*0bc18309SAnson Huang 		if (start < (BL31_BASE - 1)) {
236*0bc18309SAnson Huang 			err = sc_rm_memreg_alloc(ipc_handle, &mr, start, BL31_BASE - 1);
237*0bc18309SAnson Huang 			if (err)
238*0bc18309SAnson Huang 				ERROR("sc_rm_memreg_alloc failed, 0x%llx -- 0x%llx\n",
239*0bc18309SAnson Huang 					start, (sc_faddr_t)BL31_BASE - 1);
240*0bc18309SAnson Huang 			err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
241*0bc18309SAnson Huang 			if (err)
242*0bc18309SAnson Huang 				ERROR("Memreg assign failed, 0x%llx -- 0x%llx\n",
243*0bc18309SAnson Huang 					start, (sc_faddr_t)BL31_BASE - 1);
244*0bc18309SAnson Huang 		}
245*0bc18309SAnson Huang 	}
246*0bc18309SAnson Huang 
247*0bc18309SAnson Huang 	if (err)
248*0bc18309SAnson Huang 		NOTICE("Partitioning Failed\n");
249*0bc18309SAnson Huang 	else
250*0bc18309SAnson Huang 		NOTICE("Non-secure Partitioning Succeeded\n");
251*0bc18309SAnson Huang }
252*0bc18309SAnson Huang 
253*0bc18309SAnson Huang void bl31_early_platform_setup(bl31_params_t *from_bl2,
254*0bc18309SAnson Huang 				void *plat_params_from_bl2)
255*0bc18309SAnson Huang {
256*0bc18309SAnson Huang #if DEBUG_CONSOLE
257*0bc18309SAnson Huang 	static console_lpuart_t console;
258*0bc18309SAnson Huang #endif
259*0bc18309SAnson Huang 	if (sc_ipc_open(&ipc_handle, SC_IPC_BASE) != SC_ERR_NONE)
260*0bc18309SAnson Huang 		panic();
261*0bc18309SAnson Huang 
262*0bc18309SAnson Huang #if DEBUG_CONSOLE_A35
263*0bc18309SAnson Huang 	sc_pm_set_resource_power_mode(ipc_handle, SC_R_UART_0, SC_PM_PW_MODE_ON);
264*0bc18309SAnson Huang 	sc_pm_clock_rate_t rate = 80000000;
265*0bc18309SAnson Huang 	sc_pm_set_clock_rate(ipc_handle, SC_R_UART_0, 2, &rate);
266*0bc18309SAnson Huang 	sc_pm_clock_enable(ipc_handle, SC_R_UART_0, 2, true, false);
267*0bc18309SAnson Huang 
268*0bc18309SAnson Huang 	/* Configure UART pads */
269*0bc18309SAnson Huang 	sc_pad_set(ipc_handle, SC_P_UART0_RX, UART_PAD_CTRL);
270*0bc18309SAnson Huang 	sc_pad_set(ipc_handle, SC_P_UART0_TX, UART_PAD_CTRL);
271*0bc18309SAnson Huang 	lpuart32_serial_init(IMX_BOOT_UART_BASE);
272*0bc18309SAnson Huang #endif
273*0bc18309SAnson Huang 
274*0bc18309SAnson Huang #if DEBUG_CONSOLE
275*0bc18309SAnson Huang 	console_lpuart_register(IMX_BOOT_UART_BASE, IMX_BOOT_UART_CLK_IN_HZ,
276*0bc18309SAnson Huang 		     IMX_CONSOLE_BAUDRATE, &console);
277*0bc18309SAnson Huang #endif
278*0bc18309SAnson Huang 	/* Turn on MU1 for non-secure OS/Hypervisor */
279*0bc18309SAnson Huang 	sc_pm_set_resource_power_mode(ipc_handle, SC_R_MU_1A, SC_PM_PW_MODE_ON);
280*0bc18309SAnson Huang 
281*0bc18309SAnson Huang 	/*
282*0bc18309SAnson Huang 	 * create new partition for non-secure OS/Hypervisor
283*0bc18309SAnson Huang 	 * uses global structs defined in sec_rsrc.h
284*0bc18309SAnson Huang 	 */
285*0bc18309SAnson Huang 	imx8_partition_resources();
286*0bc18309SAnson Huang 
287*0bc18309SAnson Huang 	bl33_image_ep_info.pc = PLAT_NS_IMAGE_OFFSET;
288*0bc18309SAnson Huang 	bl33_image_ep_info.spsr = get_spsr_for_bl33_entry();
289*0bc18309SAnson Huang 	SET_SECURITY_STATE(bl33_image_ep_info.h.attr, NON_SECURE);
290*0bc18309SAnson Huang }
291*0bc18309SAnson Huang 
292*0bc18309SAnson Huang void bl31_plat_arch_setup(void)
293*0bc18309SAnson Huang {
294*0bc18309SAnson Huang 	unsigned long ro_start = BL31_RO_START;
295*0bc18309SAnson Huang 	unsigned long ro_size = BL31_RO_END - BL31_RO_START;
296*0bc18309SAnson Huang 	unsigned long rw_start = BL31_RW_START;
297*0bc18309SAnson Huang 	unsigned long rw_size = BL31_RW_END - BL31_RW_START;
298*0bc18309SAnson Huang #if USE_COHERENT_MEM
299*0bc18309SAnson Huang 	unsigned long coh_start = BL31_COHERENT_RAM_START;
300*0bc18309SAnson Huang 	unsigned long coh_size = BL31_COHERENT_RAM_END - BL31_COHERENT_RAM_START;
301*0bc18309SAnson Huang #endif
302*0bc18309SAnson Huang 
303*0bc18309SAnson Huang 	mmap_add_region(ro_start, ro_start, ro_size,
304*0bc18309SAnson Huang 		MT_RO | MT_MEMORY | MT_SECURE);
305*0bc18309SAnson Huang 	mmap_add_region(rw_start, rw_start, rw_size,
306*0bc18309SAnson Huang 		MT_RW | MT_MEMORY | MT_SECURE);
307*0bc18309SAnson Huang 	mmap_add(imx_mmap);
308*0bc18309SAnson Huang 
309*0bc18309SAnson Huang #if USE_COHERENT_MEM
310*0bc18309SAnson Huang 	mmap_add_region(coh_start, coh_start, coh_size,
311*0bc18309SAnson Huang 			MT_DEVICE | MT_RW | MT_SECURE);
312*0bc18309SAnson Huang #endif
313*0bc18309SAnson Huang 
314*0bc18309SAnson Huang 	init_xlat_tables();
315*0bc18309SAnson Huang 	enable_mmu_el3(0);
316*0bc18309SAnson Huang }
317*0bc18309SAnson Huang 
318*0bc18309SAnson Huang void bl31_platform_setup(void)
319*0bc18309SAnson Huang {
320*0bc18309SAnson Huang 	plat_gic_driver_init();
321*0bc18309SAnson Huang 	plat_gic_init();
322*0bc18309SAnson Huang }
323*0bc18309SAnson Huang 
324*0bc18309SAnson Huang entry_point_info_t *bl31_plat_get_next_image_ep_info(unsigned int type)
325*0bc18309SAnson Huang {
326*0bc18309SAnson Huang 	if (type == NON_SECURE)
327*0bc18309SAnson Huang 		return &bl33_image_ep_info;
328*0bc18309SAnson Huang 	if (type == SECURE)
329*0bc18309SAnson Huang 		return &bl32_image_ep_info;
330*0bc18309SAnson Huang 
331*0bc18309SAnson Huang 	return NULL;
332*0bc18309SAnson Huang }
333*0bc18309SAnson Huang 
334*0bc18309SAnson Huang unsigned int plat_get_syscnt_freq2(void)
335*0bc18309SAnson Huang {
336*0bc18309SAnson Huang 	return COUNTER_FREQUENCY;
337*0bc18309SAnson Huang }
338*0bc18309SAnson Huang 
339*0bc18309SAnson Huang void bl31_plat_runtime_setup(void)
340*0bc18309SAnson Huang {
341*0bc18309SAnson Huang 	return;
342*0bc18309SAnson Huang }
343