From ca52d1ed91f5468e85f92d2101d57c80a60d040d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Sch=C3=A4r?= Date: Thu, 17 Mar 2022 17:31:06 +0100 Subject: [PATCH] Fix mapping bug in kernel See https://moodle-app2.let.ethz.ch/mod/forum/discuss.php?d=100246 --- kernel/arch/armv8/paging.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/arch/armv8/paging.c b/kernel/arch/armv8/paging.c index 44433ce..a59d818 100644 --- a/kernel/arch/armv8/paging.c +++ b/kernel/arch/armv8/paging.c @@ -525,7 +525,7 @@ caps_map_l3(struct capability* dest, { assert(0 == (kpi_paging_flags & ~KPI_PAGING_FLAGS_MASK)); - if (slot + pte_count >= VMSAv8_64_PTABLE_NUM_ENTRIES) { + if (slot >= VMSAv8_64_PTABLE_NUM_ENTRIES) { return SYS_ERR_VNODE_SLOT_INVALID; }