Allow unmapping existing mapped ranges in the guest

Previously, the page table manipulation interfaces exported for the
use of guests did not permit unmapping an existing mapped range. This
commit improves that situation, by adding an "unmapped" mapping type,
which code can use to request that a remap operation make a region
not-present.

Signed-off-by: Lucy Menon <168595099+syntactically@users.noreply.github.com>

Author: syntactically

src/hyperlight_common/src/arch/amd64/vmem.rs

@@ -456,6 +456,7 @@ unsafe fn map_page<
                 0 | // R/W - Cow page is never writable
                 PAGE_PRESENT // P   - this entry is present
         }
+        MappingKind::Unmapped => 0,
     };
     unsafe {
         write_entry_updating(op, r.update_parent, r.entry_ptr, pte);

src/hyperlight_common/src/vmem.rs

@@ -196,6 +196,7 @@ pub struct CowMapping {
 
 #[derive(Debug, PartialEq, Clone, Copy)]
 pub enum MappingKind {
+    Unmapped,
     Basic(BasicMapping),
     Cow(CowMapping),
     /* TODO: What useful things other than basic mappings actually

src/hyperlight_host/src/mem/layout.rs

@@ -140,6 +140,7 @@ impl<'a> ResolvedGpa<&'a [u8], &'a [u8]> {
     }
 }
 #[cfg(any(gdb, feature = "mem_profile"))]
+#[allow(unused)] // may be unused when nanvix-unstable is also enabled
 pub(crate) trait ReadableSharedMemory {
     fn copy_to_slice(&self, slice: &mut [u8], offset: usize) -> Result<()>;
 }
@@ -177,7 +178,7 @@ impl<T: coherence_hack::SharedMemoryAsRefMarker> ReadableSharedMemory for T {
 }
 #[cfg(any(gdb, feature = "mem_profile"))]
 impl<Sn: ReadableSharedMemory, Sc: ReadableSharedMemory> ResolvedGpa<Sn, Sc> {
-    #[cfg(feature = "gdb")]
+    #[allow(unused)] // may be unused when nanvix-unstable is also enabled
     pub(crate) fn copy_to_slice(&self, slice: &mut [u8]) -> Result<()> {
         match &self.base {
             BaseGpaRegion::Snapshot(sn) => sn.copy_to_slice(slice, self.offset),

src/hyperlight_host/src/mem/mgr.rs

@@ -67,6 +67,7 @@ fn mapping_kind_to_flags(kind: &MappingKind) -> (MemoryRegionFlags, MemoryRegion
             }
             (flags, MemoryRegionType::Scratch)
         }
+        MappingKind::Unmapped => (MemoryRegionFlags::empty(), MemoryRegionType::Snapshot),
     }
 }
 

src/hyperlight_host/src/sandbox/snapshot.rs

@@ -471,6 +471,7 @@ impl Snapshot {
                             writable: false,
                             executable: bm.executable,
                         }),
+                        MappingKind::Unmapped => continue,
                     };
                     let new_gpa = phys_seen.entry(mapping.phys_base).or_insert_with(|| {
                         let new_offset = snapshot_memory.len();