From bbfbe30445066b53205b369e025bd28db2776187 Mon Sep 17 00:00:00 2001
From: Wildan M <willnode@wellosoft.net>
Date: Sun, 19 Apr 2026 17:17:48 +0700
Subject: [PATCH] Exclude PhysBorrowed from counting shared memory

---
 src/scheme/sys/context.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/scheme/sys/context.rs b/src/scheme/sys/context.rs
index 4c05fedb28..62b2b25b08 100644
--- a/src/scheme/sys/context.rs
+++ b/src/scheme/sys/context.rs
@@ -47,6 +47,9 @@ pub fn resource(token: &mut CleanLockToken) -> Result<Vec<u8>> {
                             context::memory::Provider::Allocated { .. } => {
                                 private_memory += info.page_count() * crate::memory::PAGE_SIZE
                             }
+                            // Excluded because it is not allocable by user, whether if
+                            // this region is counted toward usable memory remain unknown
+                            context::memory::Provider::PhysBorrowed { .. } => {}
                             _ => shared_memory += info.page_count() * crate::memory::PAGE_SIZE,
                         }
                     }