got the bios setup ok, now we have to handle the exits

[palacios.git] / palacios / src / palacios / vmm_mem.c

diff --git a/palacios/src/palacios/vmm_mem.c b/palacios/src/palacios/vmm_mem.c
index 013ea0b..49586f1 100644 (file)
--- a/palacios/src/palacios/vmm_mem.c
+++ b/palacios/src/palacios/vmm_mem.c
@@ -53,10 +53,7 @@ void free_shadow_map(shadow_map_t * map) {
 
 
 
-/* This is slightly different semantically from the mem list, in that
- * we don't allow overlaps we could probably allow overlappig regions
- * of the same type... but I'll let someone else deal with that
- */
+
 int add_shadow_region(shadow_map_t * map,
                      shadow_region_t * region) 
 {