diff --git a/kernel/arch/i686/PageTable.cpp b/kernel/arch/i686/PageTable.cpp index d603548f..9073df2a 100644 --- a/kernel/arch/i686/PageTable.cpp +++ b/kernel/arch/i686/PageTable.cpp @@ -206,6 +206,7 @@ namespace Kernel { ASSERT(s_kernel); ASSERT(paddr); + ASSERT(paddr % PAGE_SIZE == 0); ASSERT(s_fast_page_lock.current_processor_has_lock()); diff --git a/kernel/arch/x86_64/PageTable.cpp b/kernel/arch/x86_64/PageTable.cpp index 7f7b34bd..d844a3ab 100644 --- a/kernel/arch/x86_64/PageTable.cpp +++ b/kernel/arch/x86_64/PageTable.cpp @@ -503,6 +503,7 @@ namespace Kernel { ASSERT(s_kernel); ASSERT(paddr); + ASSERT(paddr % PAGE_SIZE == 0); ASSERT(s_fast_page_lock.current_processor_has_lock());