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;
     }