You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
75 lines
1.9 KiB
75 lines
1.9 KiB
/*
|
|
* Copyright (c) 2018, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#include <debug.h>
|
|
#include <generic_delay_timer.h>
|
|
#include <mmio.h>
|
|
#include <platform.h>
|
|
#include <xlat_tables.h>
|
|
#include "../versal_def.h"
|
|
#include "../versal_private.h"
|
|
|
|
/*
|
|
* Table of regions to map using the MMU.
|
|
* This doesn't include TZRAM as the 'mem_layout' argument passed to
|
|
* configure_mmu_elx() will give the available subset of that,
|
|
*/
|
|
const mmap_region_t plat_versal_mmap[] = {
|
|
MAP_REGION_FLAT(DEVICE0_BASE, DEVICE0_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
|
|
MAP_REGION_FLAT(DEVICE1_BASE, DEVICE1_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
|
|
MAP_REGION_FLAT(CRF_BASE, CRF_SIZE, MT_DEVICE | MT_RW | MT_SECURE),
|
|
{ 0 }
|
|
};
|
|
|
|
const mmap_region_t *plat_versal_get_mmap(void)
|
|
{
|
|
return plat_versal_mmap;
|
|
}
|
|
|
|
static void versal_print_platform_name(void)
|
|
{
|
|
NOTICE("ATF running on Xilinx %s\n", PLATFORM_NAME);
|
|
}
|
|
|
|
void versal_config_setup(void)
|
|
{
|
|
uint32_t val;
|
|
|
|
versal_print_platform_name();
|
|
|
|
mmio_write_32(VERSAL_CRL_IOU_SWITCH_CTRL,
|
|
VERSAL_IOU_SWITCH_CTRL_CLKACT_BIT |
|
|
(0x20 << VERSAL_IOU_SWITCH_CTRL_DIVISOR0_SHIFT));
|
|
|
|
/* Global timer init - Program time stamp reference clk */
|
|
val = mmio_read_32(VERSAL_CRL_TIMESTAMP_REF_CTRL);
|
|
val |= VERSAL_CRL_APB_TIMESTAMP_REF_CTRL_CLKACT_BIT;
|
|
mmio_write_32(VERSAL_CRL_TIMESTAMP_REF_CTRL, val);
|
|
|
|
/* Clear reset of timestamp reg */
|
|
mmio_write_32(VERSAL_CRL_RST_TIMESTAMP_OFFSET, 0x0);
|
|
|
|
/* Program freq register in System counter and enable system counter. */
|
|
mmio_write_32(VERSAL_IOU_SCNTRS_BASE_FREQ, VERSAL_CPU_CLOCK);
|
|
mmio_write_32(VERSAL_IOU_SCNTRS_COUNTER_CONTROL_REG,
|
|
VERSAL_IOU_SCNTRS_CONTROL_EN);
|
|
|
|
generic_delay_timer_init();
|
|
}
|
|
|
|
unsigned int plat_get_syscnt_freq2(void)
|
|
{
|
|
return VERSAL_CPU_CLOCK;
|
|
}
|
|
|
|
uintptr_t plat_get_ns_image_entrypoint(void)
|
|
{
|
|
#ifdef PRELOADED_BL33_BASE
|
|
return PRELOADED_BL33_BASE;
|
|
#else
|
|
return PLAT_VERSAL_NS_IMAGE_OFFSET;
|
|
#endif
|
|
}
|
|
|