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 /core/arch/arm/plat-stm32mp1/stm32_util.h | |
| 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>
Diffstat (limited to 'core/arch/arm/plat-stm32mp1/stm32_util.h')
| -rw-r--r-- | core/arch/arm/plat-stm32mp1/stm32_util.h | 5 |
1 files changed, 3 insertions, 2 deletions
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 |