X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=e1a91997753d0f8da9621fdb6809696b3eccfff6;hb=165560d91368d638b177022f883d3723d7618944;hp=10a95aa01d0c7c308d862b8ea46eff8ab24382b7;hpb=b81af0a653e471ba2aa240c5135bd113467587ca;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 10a95aa..e1a9199 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -111,9 +111,11 @@ struct guest_info {
 
   uint_t cpl;
 
+  addr_t mem_size; // Probably in bytes for now....
   struct shadow_map mem_map;
 
   struct vm_time time_state;
+
   
   v3_paging_mode_t shdw_pg_mode;
   struct shadow_page_state shdw_pg_state;
@@ -160,6 +162,10 @@ v3_vm_cpu_mode_t v3_get_cpu_mode(struct guest_info * info);
 v3_vm_mem_mode_t v3_get_mem_mode(struct guest_info * info);
 
 
+const uchar_t * v3_cpu_mode_to_str(v3_vm_cpu_mode_t mode);
+const uchar_t * v3_mem_mode_to_str(v3_vm_mem_mode_t mode);
+
+
 void v3_print_segments(struct guest_info * info);
 void v3_print_ctrl_regs(struct guest_info * info);
 void v3_print_GPRs(struct guest_info * info);