diff --git a/kernel/arch/armv8/paging.c b/kernel/arch/armv8/paging.c index a59d818..c6a9461 100644 --- a/kernel/arch/armv8/paging.c +++ b/kernel/arch/armv8/paging.c @@ -534,7 +534,7 @@ caps_map_l3(struct capability* dest, } // check offset within frame - if ((offset + BASE_PAGE_SIZE > get_size(src)) || + if ((offset + pte_count * BASE_PAGE_SIZE > get_size(src)) || ((offset % BASE_PAGE_SIZE) != 0)) { return SYS_ERR_FRAME_OFFSET_INVALID; }