diff options
author | Etienne Carriere <etienne.carriere@linaro.org> | 2019-04-26 17:53:54 +0200 |
---|---|---|
committer | Jérôme Forissier <jerome.forissier@linaro.org> | 2019-05-06 19:21:12 +0200 |
commit | d62792a008c4cba8ab7f63c4abc733dcb5d7c17c (patch) | |
tree | 68e5e67c3c7eec2182317137be18e09db3f8f758 | |
parent | 082f27aed3757fbd41fb81cf1e11179fc2453cfd (diff) |
stm32mp1: clean shared resource to use vaddr_t
Replace type uintptr_t with type vaddr_t when applicable for consistency
with other resources.
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
-rw-r--r-- | core/arch/arm/plat-stm32mp1/shared_resources.c | 6 | ||||
-rw-r--r-- | core/arch/arm/plat-stm32mp1/stm32_util.h | 5 |
2 files changed, 6 insertions, 5 deletions
diff --git a/core/arch/arm/plat-stm32mp1/shared_resources.c b/core/arch/arm/plat-stm32mp1/shared_resources.c index bcc2b7a4..3f55bbc1 100644 --- a/core/arch/arm/plat-stm32mp1/shared_resources.c +++ b/core/arch/arm/plat-stm32mp1/shared_resources.c @@ -269,7 +269,7 @@ void stm32mp_register_non_secure_periph(enum stm32mp_shres id) } /* Register resource by IO memory base address */ -static void register_periph_iomem(uintptr_t base, enum shres_state state) +static void register_periph_iomem(vaddr_t base, enum shres_state state) { enum stm32mp_shres id = STM32MP1_SHRES_COUNT; @@ -343,12 +343,12 @@ static void register_periph_iomem(uintptr_t base, enum shres_state state) register_periph(id, state); } -void stm32mp_register_secure_periph_iomem(uintptr_t base) +void stm32mp_register_secure_periph_iomem(vaddr_t base) { register_periph_iomem(base, SHRES_SECURE); } -void stm32mp_register_non_secure_periph_iomem(uintptr_t base) +void stm32mp_register_non_secure_periph_iomem(vaddr_t base) { register_periph_iomem(base, SHRES_NON_SECURE); } diff --git a/core/arch/arm/plat-stm32mp1/stm32_util.h b/core/arch/arm/plat-stm32mp1/stm32_util.h index 3e440b25..7acbebbe 100644 --- a/core/arch/arm/plat-stm32mp1/stm32_util.h +++ b/core/arch/arm/plat-stm32mp1/stm32_util.h @@ -10,6 +10,7 @@ #include <drivers/stm32_bsec.h> #include <kernel/panic.h> #include <stdint.h> +#include <types_ext.h> /* Backup registers and RAM utils */ vaddr_t stm32mp_bkpreg(unsigned int idx); @@ -211,13 +212,13 @@ void stm32mp_register_non_secure_periph(enum stm32mp_shres id); * Register resource identified by @base as a secure peripheral * @base: IOMEM physical base address of the resource */ -void stm32mp_register_secure_periph_iomem(uintptr_t base); +void stm32mp_register_secure_periph_iomem(vaddr_t base); /* * Register resource identified by @base as a non-secure peripheral * @base: IOMEM physical base address of the resource */ -void stm32mp_register_non_secure_periph_iomem(uintptr_t base); +void stm32mp_register_non_secure_periph_iomem(vaddr_t base); /* * Register GPIO resource as a secure peripheral |