xref: /rk3399_ARM-atf/plat/imx/imx8qx/imx8qx_bl31_setup.c (revision ca661a0092c8ead5ac7df57c55fffcc835d9c0b9)
10bc18309SAnson Huang /*
2*ca661a00SMadhukar Pappireddy  * Copyright (c) 2015-2020, ARM Limited and Contributors. All rights reserved.
30bc18309SAnson Huang  *
40bc18309SAnson Huang  * SPDX-License-Identifier: BSD-3-Clause
50bc18309SAnson Huang  */
60bc18309SAnson Huang 
70bc18309SAnson Huang #include <assert.h>
809d40e0eSAntonio Nino Diaz #include <stdbool.h>
909d40e0eSAntonio Nino Diaz 
1009d40e0eSAntonio Nino Diaz #include <platform_def.h>
1109d40e0eSAntonio Nino Diaz 
1209d40e0eSAntonio Nino Diaz #include <arch_helpers.h>
1309d40e0eSAntonio Nino Diaz #include <common/bl_common.h>
1409d40e0eSAntonio Nino Diaz #include <common/debug.h>
150bc18309SAnson Huang #include <context.h>
1609d40e0eSAntonio Nino Diaz #include <drivers/arm/cci.h>
1709d40e0eSAntonio Nino Diaz #include <drivers/console.h>
1809d40e0eSAntonio Nino Diaz #include <lib/el3_runtime/context_mgmt.h>
1909d40e0eSAntonio Nino Diaz #include <lib/mmio.h>
2009d40e0eSAntonio Nino Diaz #include <lib/xlat_tables/xlat_tables.h>
2109d40e0eSAntonio Nino Diaz #include <plat/common/platform.h>
2209d40e0eSAntonio Nino Diaz 
230bc18309SAnson Huang #include <imx8qx_pads.h>
240bc18309SAnson Huang #include <imx8_iomux.h>
250bc18309SAnson Huang #include <imx8_lpuart.h>
260bc18309SAnson Huang #include <plat_imx8.h>
270bc18309SAnson Huang #include <sci/sci.h>
280bc18309SAnson Huang #include <sec_rsrc.h>
290bc18309SAnson Huang 
30*ca661a00SMadhukar Pappireddy static const unsigned long BL31_COHERENT_RAM_START	= BL_COHERENT_RAM_BASE;
31*ca661a00SMadhukar Pappireddy static const unsigned long BL31_COHERENT_RAM_END	= BL_COHERENT_RAM_END;
32*ca661a00SMadhukar Pappireddy static const unsigned long BL31_RO_START		= BL_CODE_BASE;
33*ca661a00SMadhukar Pappireddy static const unsigned long BL31_RO_END			= BL_CODE_END;
34*ca661a00SMadhukar Pappireddy static const unsigned long BL31_RW_END			= BL_END;
35*ca661a00SMadhukar Pappireddy 
360bc18309SAnson Huang IMPORT_SYM(unsigned long, __RW_START__, BL31_RW_START);
370bc18309SAnson Huang 
380bc18309SAnson Huang static entry_point_info_t bl32_image_ep_info;
390bc18309SAnson Huang static entry_point_info_t bl33_image_ep_info;
400bc18309SAnson Huang 
410bc18309SAnson Huang #define UART_PAD_CTRL	(PADRING_IFMUX_EN_MASK | PADRING_GP_EN_MASK | \
420bc18309SAnson Huang 			(SC_PAD_CONFIG_OUT_IN << PADRING_CONFIG_SHIFT) | \
430bc18309SAnson Huang 			(SC_PAD_ISO_OFF << PADRING_LPCONFIG_SHIFT) | \
440bc18309SAnson Huang 			(SC_PAD_28FDSOI_DSE_DV_LOW << PADRING_DSE_SHIFT) | \
450bc18309SAnson Huang 			(SC_PAD_28FDSOI_PS_PD << PADRING_PULL_SHIFT))
460bc18309SAnson Huang 
470bc18309SAnson Huang static const mmap_region_t imx_mmap[] = {
48e6cf7a46SAnson Huang 	MAP_REGION_FLAT(IMX_REG_BASE, IMX_REG_SIZE, MT_DEVICE | MT_RW),
490bc18309SAnson Huang 	{0}
500bc18309SAnson Huang };
510bc18309SAnson Huang 
520bc18309SAnson Huang static uint32_t get_spsr_for_bl33_entry(void)
530bc18309SAnson Huang {
540bc18309SAnson Huang 	unsigned long el_status;
550bc18309SAnson Huang 	unsigned long mode;
560bc18309SAnson Huang 	uint32_t spsr;
570bc18309SAnson Huang 
580bc18309SAnson Huang 	/* figure out what mode we enter the non-secure world */
590bc18309SAnson Huang 	el_status = read_id_aa64pfr0_el1() >> ID_AA64PFR0_EL2_SHIFT;
600bc18309SAnson Huang 	el_status &= ID_AA64PFR0_ELX_MASK;
610bc18309SAnson Huang 
620bc18309SAnson Huang 	mode = (el_status) ? MODE_EL2 : MODE_EL1;
630bc18309SAnson Huang 
640bc18309SAnson Huang 	spsr = SPSR_64(mode, MODE_SP_ELX, DISABLE_ALL_EXCEPTIONS);
650bc18309SAnson Huang 	return spsr;
660bc18309SAnson Huang }
670bc18309SAnson Huang 
680bc18309SAnson Huang #if DEBUG_CONSOLE_A35
690bc18309SAnson Huang static void lpuart32_serial_setbrg(unsigned int base, int baudrate)
700bc18309SAnson Huang {
710bc18309SAnson Huang 	unsigned int sbr, osr, baud_diff, tmp_osr, tmp_sbr;
720bc18309SAnson Huang 	unsigned int diff1, diff2, tmp, rate;
730bc18309SAnson Huang 
740bc18309SAnson Huang 	if (baudrate == 0)
750bc18309SAnson Huang 		panic();
760bc18309SAnson Huang 
770bc18309SAnson Huang 	sc_pm_get_clock_rate(ipc_handle, SC_R_UART_0, 2, &rate);
780bc18309SAnson Huang 
790bc18309SAnson Huang 	baud_diff = baudrate;
800bc18309SAnson Huang 	osr = 0;
810bc18309SAnson Huang 	sbr = 0;
820bc18309SAnson Huang 	for (tmp_osr = 4; tmp_osr <= 32; tmp_osr++) {
830bc18309SAnson Huang 		tmp_sbr = (rate / (baudrate * tmp_osr));
840bc18309SAnson Huang 		if (tmp_sbr == 0)
850bc18309SAnson Huang 			tmp_sbr = 1;
860bc18309SAnson Huang 
870bc18309SAnson Huang 		/* calculate difference in actual baud w/ current values */
880bc18309SAnson Huang 		diff1 = rate / (tmp_osr * tmp_sbr) - baudrate;
890bc18309SAnson Huang 		diff2 = rate / (tmp_osr * (tmp_sbr + 1));
900bc18309SAnson Huang 
910bc18309SAnson Huang 		/* select best values between sbr and sbr+1 */
920bc18309SAnson Huang 		if (diff1 > (baudrate - diff2)) {
930bc18309SAnson Huang 			diff1 = baudrate - diff2;
940bc18309SAnson Huang 			tmp_sbr++;
950bc18309SAnson Huang 		}
960bc18309SAnson Huang 
970bc18309SAnson Huang 		if (diff1 <= baud_diff) {
980bc18309SAnson Huang 			baud_diff = diff1;
990bc18309SAnson Huang 			osr = tmp_osr;
1000bc18309SAnson Huang 			sbr = tmp_sbr;
1010bc18309SAnson Huang 		}
1020bc18309SAnson Huang 	}
1030bc18309SAnson Huang 
1040bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + BAUD);
1050bc18309SAnson Huang 
1060bc18309SAnson Huang 	if ((osr > 3) && (osr < 8))
1070bc18309SAnson Huang 		tmp |= LPUART_BAUD_BOTHEDGE_MASK;
1080bc18309SAnson Huang 
1090bc18309SAnson Huang 	tmp &= ~LPUART_BAUD_OSR_MASK;
1100bc18309SAnson Huang 	tmp |= LPUART_BAUD_OSR(osr - 1);
1110bc18309SAnson Huang 	tmp &= ~LPUART_BAUD_SBR_MASK;
1120bc18309SAnson Huang 	tmp |= LPUART_BAUD_SBR(sbr);
1130bc18309SAnson Huang 
1140bc18309SAnson Huang 	/* explicitly disable 10 bit mode & set 1 stop bit */
1150bc18309SAnson Huang 	tmp &= ~(LPUART_BAUD_M10_MASK | LPUART_BAUD_SBNS_MASK);
1160bc18309SAnson Huang 
1170bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + BAUD, tmp);
1180bc18309SAnson Huang }
1190bc18309SAnson Huang 
1200bc18309SAnson Huang static int lpuart32_serial_init(unsigned int base)
1210bc18309SAnson Huang {
1220bc18309SAnson Huang 	unsigned int tmp;
1230bc18309SAnson Huang 
1240bc18309SAnson Huang 	/* disable TX & RX before enabling clocks */
1250bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + CTRL);
1260bc18309SAnson Huang 	tmp &= ~(CTRL_TE | CTRL_RE);
1270bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, tmp);
1280bc18309SAnson Huang 
1290bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + MODIR, 0);
1300bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + FIFO, ~(FIFO_TXFE | FIFO_RXFE));
1310bc18309SAnson Huang 
1320bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + MATCH, 0);
1330bc18309SAnson Huang 
1340bc18309SAnson Huang 	/* provide data bits, parity, stop bit, etc */
1350bc18309SAnson Huang 	lpuart32_serial_setbrg(base, IMX_BOOT_UART_BAUDRATE);
1360bc18309SAnson Huang 
1370bc18309SAnson Huang 	/* eight data bits no parity bit */
1380bc18309SAnson Huang 	tmp = mmio_read_32(IMX_BOOT_UART_BASE + CTRL);
1390bc18309SAnson Huang 	tmp &= ~(LPUART_CTRL_PE_MASK | LPUART_CTRL_PT_MASK | LPUART_CTRL_M_MASK);
1400bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, tmp);
1410bc18309SAnson Huang 
1420bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + CTRL, CTRL_RE | CTRL_TE);
1430bc18309SAnson Huang 
1440bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x55);
1450bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x55);
1460bc18309SAnson Huang 	mmio_write_32(IMX_BOOT_UART_BASE + DATA, 0x0A);
1470bc18309SAnson Huang 
1480bc18309SAnson Huang 	return 0;
1490bc18309SAnson Huang }
1500bc18309SAnson Huang #endif
1510bc18309SAnson Huang 
1520bc18309SAnson Huang void imx8_partition_resources(void)
1530bc18309SAnson Huang {
1540bc18309SAnson Huang 	sc_rm_pt_t secure_part, os_part;
1550bc18309SAnson Huang 	sc_rm_mr_t mr, mr_record = 64;
1560bc18309SAnson Huang 	sc_faddr_t start, end;
1570bc18309SAnson Huang 	sc_err_t err;
1580bc18309SAnson Huang 	bool owned;
1590bc18309SAnson Huang 	int i;
1600bc18309SAnson Huang 
1610bc18309SAnson Huang 	err = sc_rm_get_partition(ipc_handle, &secure_part);
1620bc18309SAnson Huang 	if (err)
1630bc18309SAnson Huang 		ERROR("sc_rm_get_partition failed: %u\n", err);
1640bc18309SAnson Huang 
1650bc18309SAnson Huang 	err = sc_rm_partition_alloc(ipc_handle, &os_part, false, false,
1660bc18309SAnson Huang 		false, false, false);
1670bc18309SAnson Huang 	if (err)
1680bc18309SAnson Huang 		ERROR("sc_rm_partition_alloc failed: %u\n", err);
1690bc18309SAnson Huang 
1700bc18309SAnson Huang 	err = sc_rm_set_parent(ipc_handle, os_part, secure_part);
1710bc18309SAnson Huang 	if (err)
1720bc18309SAnson Huang 		ERROR("sc_rm_set_parent: %u\n", err);
1730bc18309SAnson Huang 
1740bc18309SAnson Huang 	/* set secure resources to NOT-movable */
1750bc18309SAnson Huang 	for (i = 0; i < (ARRAY_SIZE(secure_rsrcs)); i++) {
1760bc18309SAnson Huang 		err = sc_rm_set_resource_movable(ipc_handle,
1770bc18309SAnson Huang 			 secure_rsrcs[i], secure_rsrcs[i], false);
1780bc18309SAnson Huang 		if (err)
1790bc18309SAnson Huang 			ERROR("sc_rm_set_resource_movable: rsrc %u, ret %u\n",
1800bc18309SAnson Huang 				secure_rsrcs[i], err);
1810bc18309SAnson Huang 	}
1820bc18309SAnson Huang 
1830bc18309SAnson Huang 	/* move all movable resources and pins to non-secure partition */
1840bc18309SAnson Huang 	err = sc_rm_move_all(ipc_handle, secure_part, os_part, true, true);
1850bc18309SAnson Huang 	if (err)
1860bc18309SAnson Huang 		ERROR("sc_rm_move_all: %u\n", err);
1870bc18309SAnson Huang 
1880bc18309SAnson Huang 	/* iterate through peripherals to give NS OS part access */
1890bc18309SAnson Huang 	for (i = 0; i < ARRAY_SIZE(ns_access_allowed); i++) {
1900bc18309SAnson Huang 		err = sc_rm_set_peripheral_permissions(ipc_handle,
1910bc18309SAnson Huang 			ns_access_allowed[i], os_part, SC_RM_PERM_FULL);
1920bc18309SAnson Huang 		if (err)
1930bc18309SAnson Huang 			ERROR("sc_rm_set_peripheral_permissions: rsrc %u, \
1940bc18309SAnson Huang 				ret %u\n", ns_access_allowed[i], err);
1950bc18309SAnson Huang 	}
1960bc18309SAnson Huang 
1970bc18309SAnson Huang 	/*
1980bc18309SAnson Huang 	 * sc_rm_set_peripheral_permissions
1990bc18309SAnson Huang 	 * sc_rm_set_memreg_permissions
2000bc18309SAnson Huang 	 * sc_rm_set_pin_movable
2010bc18309SAnson Huang 	 */
2020bc18309SAnson Huang 	for (mr = 0; mr < 64; mr++) {
2030bc18309SAnson Huang 		owned = sc_rm_is_memreg_owned(ipc_handle, mr);
2040bc18309SAnson Huang 		if (owned) {
2050bc18309SAnson Huang 			err = sc_rm_get_memreg_info(ipc_handle, mr, &start, &end);
2060bc18309SAnson Huang 			if (err)
2070bc18309SAnson Huang 				ERROR("Memreg get info failed, %u\n", mr);
2080bc18309SAnson Huang 
2090bc18309SAnson Huang 			NOTICE("Memreg %u 0x%llx -- 0x%llx\n", mr, start, end);
2100bc18309SAnson Huang 			if (BL31_BASE >= start && (BL31_LIMIT - 1) <= end) {
2110bc18309SAnson Huang 				mr_record = mr; /* Record the mr for ATF running */
2120bc18309SAnson Huang 			} else {
2130bc18309SAnson Huang 				err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
2140bc18309SAnson Huang 				if (err)
2150bc18309SAnson Huang 					ERROR("Memreg assign failed, 0x%llx -- 0x%llx, \
2160bc18309SAnson Huang 						err %d\n", start, end, err);
2170bc18309SAnson Huang 			}
2180bc18309SAnson Huang 		}
2190bc18309SAnson Huang 	}
2200bc18309SAnson Huang 
2210bc18309SAnson Huang 	if (mr_record != 64) {
2220bc18309SAnson Huang 		err = sc_rm_get_memreg_info(ipc_handle, mr_record, &start, &end);
2230bc18309SAnson Huang 		if (err)
2240bc18309SAnson Huang 			ERROR("Memreg get info failed, %u\n", mr_record);
2250bc18309SAnson Huang 		if ((BL31_LIMIT - 1) < end) {
2260bc18309SAnson Huang 			err = sc_rm_memreg_alloc(ipc_handle, &mr, BL31_LIMIT, end);
2270bc18309SAnson Huang 			if (err)
2280bc18309SAnson Huang 				ERROR("sc_rm_memreg_alloc failed, 0x%llx -- 0x%llx\n",
2290bc18309SAnson Huang 					(sc_faddr_t)BL31_LIMIT, end);
2300bc18309SAnson Huang 			err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
2310bc18309SAnson Huang 			if (err)
2320bc18309SAnson Huang 				ERROR("Memreg assign failed, 0x%llx -- 0x%llx\n",
2330bc18309SAnson Huang 					(sc_faddr_t)BL31_LIMIT, end);
2340bc18309SAnson Huang 		}
2350bc18309SAnson Huang 
2360bc18309SAnson Huang 		if (start < (BL31_BASE - 1)) {
2370bc18309SAnson Huang 			err = sc_rm_memreg_alloc(ipc_handle, &mr, start, BL31_BASE - 1);
2380bc18309SAnson Huang 			if (err)
2390bc18309SAnson Huang 				ERROR("sc_rm_memreg_alloc failed, 0x%llx -- 0x%llx\n",
2400bc18309SAnson Huang 					start, (sc_faddr_t)BL31_BASE - 1);
2410bc18309SAnson Huang 			err = sc_rm_assign_memreg(ipc_handle, os_part, mr);
2420bc18309SAnson Huang 			if (err)
2430bc18309SAnson Huang 				ERROR("Memreg assign failed, 0x%llx -- 0x%llx\n",
2440bc18309SAnson Huang 					start, (sc_faddr_t)BL31_BASE - 1);
2450bc18309SAnson Huang 		}
2460bc18309SAnson Huang 	}
2470bc18309SAnson Huang 
2480bc18309SAnson Huang 	if (err)
2490bc18309SAnson Huang 		NOTICE("Partitioning Failed\n");
2500bc18309SAnson Huang 	else
2510bc18309SAnson Huang 		NOTICE("Non-secure Partitioning Succeeded\n");
2520bc18309SAnson Huang }
2530bc18309SAnson Huang 
254601d2f3cSAntonio Nino Diaz void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1,
255601d2f3cSAntonio Nino Diaz 				u_register_t arg2, u_register_t arg3)
2560bc18309SAnson Huang {
2570bc18309SAnson Huang #if DEBUG_CONSOLE
2580bc18309SAnson Huang 	static console_lpuart_t console;
2590bc18309SAnson Huang #endif
2600bc18309SAnson Huang 	if (sc_ipc_open(&ipc_handle, SC_IPC_BASE) != SC_ERR_NONE)
2610bc18309SAnson Huang 		panic();
2620bc18309SAnson Huang 
2630bc18309SAnson Huang #if DEBUG_CONSOLE_A35
2640bc18309SAnson Huang 	sc_pm_set_resource_power_mode(ipc_handle, SC_R_UART_0, SC_PM_PW_MODE_ON);
2650bc18309SAnson Huang 	sc_pm_clock_rate_t rate = 80000000;
2660bc18309SAnson Huang 	sc_pm_set_clock_rate(ipc_handle, SC_R_UART_0, 2, &rate);
2670bc18309SAnson Huang 	sc_pm_clock_enable(ipc_handle, SC_R_UART_0, 2, true, false);
2680bc18309SAnson Huang 
2690bc18309SAnson Huang 	/* Configure UART pads */
2700bc18309SAnson Huang 	sc_pad_set(ipc_handle, SC_P_UART0_RX, UART_PAD_CTRL);
2710bc18309SAnson Huang 	sc_pad_set(ipc_handle, SC_P_UART0_TX, UART_PAD_CTRL);
2720bc18309SAnson Huang 	lpuart32_serial_init(IMX_BOOT_UART_BASE);
2730bc18309SAnson Huang #endif
2740bc18309SAnson Huang 
2750bc18309SAnson Huang #if DEBUG_CONSOLE
2760bc18309SAnson Huang 	console_lpuart_register(IMX_BOOT_UART_BASE, IMX_BOOT_UART_CLK_IN_HZ,
2770bc18309SAnson Huang 		     IMX_CONSOLE_BAUDRATE, &console);
2780bc18309SAnson Huang #endif
2790bc18309SAnson Huang 	/* Turn on MU1 for non-secure OS/Hypervisor */
2800bc18309SAnson Huang 	sc_pm_set_resource_power_mode(ipc_handle, SC_R_MU_1A, SC_PM_PW_MODE_ON);
2810bc18309SAnson Huang 
282e6cf7a46SAnson Huang 	/* Turn on GPT_0's power & clock for non-secure OS/Hypervisor */
283e6cf7a46SAnson Huang 	sc_pm_set_resource_power_mode(ipc_handle, SC_R_GPT_0, SC_PM_PW_MODE_ON);
284e6cf7a46SAnson Huang 	sc_pm_clock_enable(ipc_handle, SC_R_GPT_0, SC_PM_CLK_PER, true, 0);
285e6cf7a46SAnson Huang 	mmio_write_32(IMX_GPT0_LPCG_BASE, mmio_read_32(IMX_GPT0_LPCG_BASE) | (1 << 25));
286e6cf7a46SAnson Huang 
2870bc18309SAnson Huang 	/*
2880bc18309SAnson Huang 	 * create new partition for non-secure OS/Hypervisor
2890bc18309SAnson Huang 	 * uses global structs defined in sec_rsrc.h
2900bc18309SAnson Huang 	 */
2910bc18309SAnson Huang 	imx8_partition_resources();
2920bc18309SAnson Huang 
2930bc18309SAnson Huang 	bl33_image_ep_info.pc = PLAT_NS_IMAGE_OFFSET;
2940bc18309SAnson Huang 	bl33_image_ep_info.spsr = get_spsr_for_bl33_entry();
2950bc18309SAnson Huang 	SET_SECURITY_STATE(bl33_image_ep_info.h.attr, NON_SECURE);
2960bc18309SAnson Huang }
2970bc18309SAnson Huang 
2980bc18309SAnson Huang void bl31_plat_arch_setup(void)
2990bc18309SAnson Huang {
3000bc18309SAnson Huang 	unsigned long ro_start = BL31_RO_START;
3010bc18309SAnson Huang 	unsigned long ro_size = BL31_RO_END - BL31_RO_START;
3020bc18309SAnson Huang 	unsigned long rw_start = BL31_RW_START;
3030bc18309SAnson Huang 	unsigned long rw_size = BL31_RW_END - BL31_RW_START;
3040bc18309SAnson Huang #if USE_COHERENT_MEM
3050bc18309SAnson Huang 	unsigned long coh_start = BL31_COHERENT_RAM_START;
3060bc18309SAnson Huang 	unsigned long coh_size = BL31_COHERENT_RAM_END - BL31_COHERENT_RAM_START;
3070bc18309SAnson Huang #endif
3080bc18309SAnson Huang 
3090bc18309SAnson Huang 	mmap_add_region(ro_start, ro_start, ro_size,
3100bc18309SAnson Huang 		MT_RO | MT_MEMORY | MT_SECURE);
3110bc18309SAnson Huang 	mmap_add_region(rw_start, rw_start, rw_size,
3120bc18309SAnson Huang 		MT_RW | MT_MEMORY | MT_SECURE);
3130bc18309SAnson Huang 	mmap_add(imx_mmap);
3140bc18309SAnson Huang 
3150bc18309SAnson Huang #if USE_COHERENT_MEM
3160bc18309SAnson Huang 	mmap_add_region(coh_start, coh_start, coh_size,
3170bc18309SAnson Huang 			MT_DEVICE | MT_RW | MT_SECURE);
3180bc18309SAnson Huang #endif
3190bc18309SAnson Huang 
3200bc18309SAnson Huang 	init_xlat_tables();
3210bc18309SAnson Huang 	enable_mmu_el3(0);
3220bc18309SAnson Huang }
3230bc18309SAnson Huang 
3240bc18309SAnson Huang void bl31_platform_setup(void)
3250bc18309SAnson Huang {
3260bc18309SAnson Huang 	plat_gic_driver_init();
3270bc18309SAnson Huang 	plat_gic_init();
3280bc18309SAnson Huang }
3290bc18309SAnson Huang 
3300bc18309SAnson Huang entry_point_info_t *bl31_plat_get_next_image_ep_info(unsigned int type)
3310bc18309SAnson Huang {
3320bc18309SAnson Huang 	if (type == NON_SECURE)
3330bc18309SAnson Huang 		return &bl33_image_ep_info;
3340bc18309SAnson Huang 	if (type == SECURE)
3350bc18309SAnson Huang 		return &bl32_image_ep_info;
3360bc18309SAnson Huang 
3370bc18309SAnson Huang 	return NULL;
3380bc18309SAnson Huang }
3390bc18309SAnson Huang 
3400bc18309SAnson Huang unsigned int plat_get_syscnt_freq2(void)
3410bc18309SAnson Huang {
3420bc18309SAnson Huang 	return COUNTER_FREQUENCY;
3430bc18309SAnson Huang }
3440bc18309SAnson Huang 
3450bc18309SAnson Huang void bl31_plat_runtime_setup(void)
3460bc18309SAnson Huang {
3470bc18309SAnson Huang 	return;
3480bc18309SAnson Huang }
349