Skip to content

Does SandboxMemoryManager still need mapped_rgns member #1304

Closed

Description

@simongdavies

is this used for anything or can we get rid of it?

Originally posted by @ludfjig in #1296 (comment)

Activity

  1. ludfjig commented on Jun 18, 2026

    @ludfjig
    Contributor

    Closed by #1510

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    S-needs-triageThe issue has not yet been reviewed.

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions