Remove unused mapped_rgns field from memory manager (#1510) #991

Job	Run time
release-blocker-check / check-blockers	3s
build-rust-ubuntu	1m 39s
build-rust-windows	4m 35s
build-guests / build-guests	2m 41s
benchmarks (hyperv-ws2025, amd) / run-benchmarks	18m 57s
benchmarks (mshv3, amd) / run-benchmarks	16m 9s
benchmarks (kvm, amd) / run-benchmarks	13m 41s
benchmarks (hyperv-ws2025, intel) / run-benchmarks	24m 4s
benchmarks (kvm, intel) / run-benchmarks	15m 50s
benchmarks (mshv3, intel) / run-benchmarks	16m 26s
publish	3m 50s
cargo-publish / publish-hyperlight-packages	0s
	1h 57m 55s

Provide feedback