Refactoring and additions to direct paging (nested and passthrough)

[palacios.releases.git] / palacios / include / palacios / vmm_mem.h

diff --git a/palacios/include/palacios/vmm_mem.h b/palacios/include/palacios/vmm_mem.h
index e4505db..7bec3e6 100644 (file)
--- a/palacios/include/palacios/vmm_mem.h
+++ b/palacios/include/palacios/vmm_mem.h
@@ -52,6 +52,7 @@ typedef struct {
            uint8_t exec   : 1;
            uint8_t base   : 1;
            uint8_t alloced : 1;
+           uint8_t limit32 : 1; // must be < 4GB in host
        } __attribute__((packed));
     } __attribute__((packed));
 } __attribute__((packed)) v3_mem_flags_t;
@@ -119,6 +120,9 @@ uint32_t v3_get_max_page_size(struct guest_info * core, addr_t fault_addr, v3_cp
 void v3_print_mem_map(struct v3_vm_info * vm);
 
 
+void v3_init_mem();
+void v3_deinit_mem();
+
 
 #endif /* ! __V3VEE__ */