From efbb92f8ae308608ab47b699c7ec441c9b17f64b Mon Sep 17 00:00:00 2001 From: vasilito Date: Fri, 10 Jul 2026 09:25:32 +0300 Subject: [PATCH] kernel: fix last SharedToCow unreachable!() in shared page path --- src/context/memory.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/context/memory.rs b/src/context/memory.rs index 8ac4c43089..7ab71143a4 100644 --- a/src/context/memory.rs +++ b/src/context/memory.rs @@ -2668,7 +2668,10 @@ fn correct_inner<'l>( new_frame } - Err(AddRefError::SharedToCow) => unreachable!(), + Err(AddRefError::SharedToCow) => { + log::error!("unexpected SharedToCow in shared page path"); + return Err(PfError::Oom); + } Err(AddRefError::RcOverflow) => return Err(PfError::Oom), } }