69 lines
1.2 KiB
C
69 lines
1.2 KiB
C
/*
|
|
* Copyright (c) 2015-2019, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#include <assert.h>
|
|
|
|
#include <platform_def.h>
|
|
|
|
#include <arch_helpers.h>
|
|
#include <common/debug.h>
|
|
#include <plat/common/platform.h>
|
|
|
|
uintptr_t plat_get_ns_image_entrypoint(void)
|
|
{
|
|
return BL33_BASE;
|
|
}
|
|
|
|
unsigned int plat_get_syscnt_freq2(void)
|
|
{
|
|
return read_cntfrq_el0();
|
|
}
|
|
|
|
static uintptr_t boot_ctx_address;
|
|
|
|
void stm32mp_save_boot_ctx_address(uintptr_t address)
|
|
{
|
|
boot_ctx_address = address;
|
|
}
|
|
|
|
uintptr_t stm32mp_get_boot_ctx_address(void)
|
|
{
|
|
return boot_ctx_address;
|
|
}
|
|
|
|
uintptr_t stm32_get_gpio_bank_base(unsigned int bank)
|
|
{
|
|
if (bank == GPIO_BANK_Z) {
|
|
return GPIOZ_BASE;
|
|
}
|
|
|
|
assert(GPIO_BANK_A == 0 && bank <= GPIO_BANK_K);
|
|
|
|
return GPIOA_BASE + (bank * GPIO_BANK_OFFSET);
|
|
}
|
|
|
|
unsigned long stm32_get_gpio_bank_clock(unsigned int bank)
|
|
{
|
|
if (bank == GPIO_BANK_Z) {
|
|
return GPIOZ;
|
|
}
|
|
|
|
assert(GPIO_BANK_A == 0 && bank <= GPIO_BANK_K);
|
|
|
|
return GPIOA + (bank - GPIO_BANK_A);
|
|
}
|
|
|
|
uint32_t stm32_get_gpio_bank_offset(unsigned int bank)
|
|
{
|
|
if (bank == GPIO_BANK_Z) {
|
|
return 0;
|
|
}
|
|
|
|
assert(GPIO_BANK_A == 0 && bank <= GPIO_BANK_K);
|
|
|
|
return bank * GPIO_BANK_OFFSET;
|
|
}
|