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> { 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, } }