/*
 * Copyright (c) since 2022, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <common/debug.h>
#include <lib/mmio.h>
#include <platform_def.h>

#define INFRA_AO_RES_CTRL_MASK			(INFRACFG_AO_BASE + 0xB8)
#define INFRA_AO_RES_CTRL_MASK_EMI_IDLE		BIT(18)
#define INFRA_AO_RES_CTRL_MASK_MPU_IDLE		BIT(15)

void spm_extern_initialize(void)
{
	unsigned int val;

	val = mmio_read_32(INFRA_AO_RES_CTRL_MASK);

	val |= (INFRA_AO_RES_CTRL_MASK_EMI_IDLE | INFRA_AO_RES_CTRL_MASK_MPU_IDLE);
	mmio_write_32(INFRA_AO_RES_CTRL_MASK, val);
}