aboutsummaryrefslogtreecommitdiff
path: root/core
diff options
context:
space:
mode:
authorJens Wiklander <jens.wiklander@linaro.org>2021-09-07 12:20:05 +0200
committerJérôme Forissier <jerome@forissier.org>2021-10-18 10:51:22 +0200
commit9e788d379facc675d7fa9746f98d2d6c6674cab0 (patch)
treed8994a785a6a38350b524d6ccefc94cd2eff3daf /core
parenta94111b95c67dabfc6453372fc865a47d8a12ba3 (diff)
core: virt: check pa at end of check_pa_matches_va()
Prior to this patch did check_pa_matches_va() skip the final catchall check on the physical address. It should be possible to perform this check with virtualization enabled so enable it for virtualization too. Acked-by: Etienne Carriere <etienne.carriere@linaro.org> Reviewed-by: Volodymyr Babchuk <volodymyr_babchuk@epam.com> Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Diffstat (limited to 'core')
-rw-r--r--core/arch/arm/mm/core_mmu.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/core/arch/arm/mm/core_mmu.c b/core/arch/arm/mm/core_mmu.c
index 7d359546..4db639ef 100644
--- a/core/arch/arm/mm/core_mmu.c
+++ b/core/arch/arm/mm/core_mmu.c
@@ -2189,7 +2189,6 @@ static void check_pa_matches_va(void *va, paddr_t pa)
}
#endif
-#ifndef CFG_VIRTUALIZATION
if (!core_va2pa_helper(va, &p)) {
/* Verfiy only the static mapping (case non null phys addr) */
if (p && pa != p) {
@@ -2203,7 +2202,6 @@ static void check_pa_matches_va(void *va, paddr_t pa)
panic();
}
}
-#endif
}
#else
static void check_pa_matches_va(void *va __unused, paddr_t pa __unused)