// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright 2012-2016 Freescale Semiconductor, Inc.
 */

#include <common.h>
#include <log.h>
#include <asm/fsl_pamu.h>
#include <asm/global_data.h>

DECLARE_GLOBAL_DATA_PTR;

void construct_pamu_addr_table(struct pamu_addr_tbl *tbl, int *num_entries)
{
	int i = 0;
	int j;

	tbl->start_addr[i] =
			(uint64_t)virt_to_phys((void *)CFG_SYS_SDRAM_BASE);
	tbl->size[i] = (phys_size_t)(min(gd->ram_size, CFG_MAX_MEM_MAPPED));
	tbl->end_addr[i] = tbl->start_addr[i] +  tbl->size[i] - 1;

	i++;
#ifdef CFG_SYS_FLASH_BASE_PHYS
	tbl->start_addr[i] =
		(uint64_t)virt_to_phys((void *)CFG_SYS_FLASH_BASE_PHYS);
	tbl->size[i] = 256 * 1024 * 1024; /* 256MB flash */
	tbl->end_addr[i] = tbl->start_addr[i] +  tbl->size[i] - 1;

	i++;
#endif
#if (defined(CONFIG_SPL_BUILD) && (CFG_SYS_INIT_L3_VADDR))
	tbl->start_addr[i] =
		(uint64_t)virt_to_phys((void *)CFG_SYS_INIT_L3_VADDR);
	tbl->size[i] = 256 * 1024; /* 256K CPC flash */
	tbl->end_addr[i] = tbl->start_addr[i] +  tbl->size[i] - 1;

	i++;
#endif
	debug("PAMU address\t\t\tsize\n");
	for (j = 0; j < i ; j++)
		debug("%llx \t\t\t%llx\n",  tbl->start_addr[j],  tbl->size[j]);

	*num_entries = i;
}

int sec_config_pamu_table(uint32_t liodn_ns, uint32_t liodn_s)
{
	struct pamu_addr_tbl tbl;
	int num_entries = 0;
	int ret = 0;

	construct_pamu_addr_table(&tbl, &num_entries);

	ret = config_pamu(&tbl, num_entries, liodn_ns);
	if (ret)
		return ret;

	ret = config_pamu(&tbl, num_entries, liodn_s);
	if (ret)
		return ret;

	return ret;
}