diff --git a/kernel/src/arch/riscv/mem.rs b/kernel/src/arch/riscv/mem.rs index de19f60d9..17f82a235 100644 --- a/kernel/src/arch/riscv/mem.rs +++ b/kernel/src/arch/riscv/mem.rs @@ -926,7 +926,14 @@ pub fn ensure_page_exists_inner(address: usize) -> Result ! } else {