commit 6b867534d017c6caa78e82abe8942a87b463982a
author Pierre-Clément Tosi <ptosi@google.com> Mon Apr 29 02:29:42 2024 +0100
committer Pierre-Clément Tosi <ptosi@google.com> Wed May 22 10:34:53 2024 +0100
tree ca4d4d882328ead9a7751e0deb8ad9a5585a678d
parent 06c570289b4a9fa448c88c7c7e5b5fc6bf15dba1

vmbase: Clean up MMIO_GUARD in MemoryTracker

Ensure that we panic if the share failed, to avoid having a valid S1
mapping for an invalid S2 mapping.

Rename mmio_unmap_all() to unshare_all_mmio() as it doesn't actually
unmap from S1 and to mimic unshare_all_memory().

Detangle a confusion between PAGE_SIZE and MMIO_GUARD_GRANULE_SIZE.

Introduce map_lazy_mmio_as_valid() for encapsulation.

Test: m libpvmfw libvmbase_example librialto
Change-Id: I2e3573267c062fd18f0240665e14f74424d2632f

vmbase/Android.bp

diff --git a/vmbase/Android.bp b/vmbase/Android.bp
index 17f4bda..f01e8aa 100644
--- a/vmbase/Android.bp
+++ b/vmbase/Android.bp
@@ -84,6 +84,7 @@
         "libonce_cell_nostd",
         "libsmccc",
         "libspin_nostd",
+        "libstatic_assertions",
         "libtinyvec_nostd",
         "libuuid_nostd",
         "libvirtio_drivers",