Remove unused mapped_rgns field from memory manager#1510

ludfjig merged 1 commit into

hyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

ludfjig:cleanup-mapped-rgnsludfjig/hyperlight:cleanup-mapped-rgnsCopy head branch name to clipboard