Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Add ability to write to gvas
Peter Dinda [Fri, 13 Apr 2012 23:27:24 +0000 (18:27 -0500)]
palacios/include/palacios/vm_guest_mem.h
palacios/src/palacios/vm_guest_mem.c

index db6a6a0..7c0dbcf 100644 (file)
@@ -105,10 +105,10 @@ int v3_hva_to_gva(struct guest_info * guest_info, addr_t host_va, addr_t  * gues
 
 
 
-int v3_read_gva_memory(struct guest_info * guest_info, addr_t guest_va, int count, uchar_t * dest);
-int v3_read_gpa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uchar_t * dest);
-int v3_write_gpa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uchar_t * src);
-// TODO int write_guest_va_memory(struct guest_info * guest_info, addr_t guest_va, int count, char * src);
+int v3_read_gva_memory(struct guest_info * guest_info, addr_t guest_va, int count, uint8_t * dest);
+int v3_read_gpa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uint8_t * dest);
+int v3_write_gpa_memory(struct guest_info * guest_info, addr_t guest_pa, int count, uint8_t * src);
+int v3_write_gva_memory(struct guest_info * guest_info, addr_t guest_va, int count, uint8_t * src);
 
 
 #endif // ! __V3VEE__
index 810be79..d05bd39 100644 (file)
@@ -396,6 +396,41 @@ int v3_read_gpa_memory(struct guest_info * guest_info, addr_t gpa, int count, uc
 }
 
 
+/* This clones v3_read_gva_memory
+ *   We write only as far as page translations are available 
+ */
+int v3_write_gva_memory(struct guest_info * guest_info, addr_t gva, int count, uchar_t * src) {
+    addr_t cursor = gva;
+    int bytes_written = 0;
+
+
+
+    while (count > 0) {
+       int dist_to_pg_edge = (PAGE_ADDR(cursor) + PAGE_SIZE) - cursor;
+       int bytes_to_copy = (dist_to_pg_edge > count) ? count : dist_to_pg_edge;
+       addr_t host_addr = 0;
+
+    
+       if (v3_gva_to_hva(guest_info, cursor, &host_addr) != 0) {
+           PrintDebug("Invalid GVA(%p)->HVA lookup\n", (void *)cursor);
+           return bytes_written;
+       }
+    
+    
+
+       memcpy((void*)host_addr,
+              src + bytes_written, 
+              bytes_to_copy);
+    
+       bytes_written += bytes_to_copy;
+       count -= bytes_to_copy;
+       cursor += bytes_to_copy;    
+    }
+
+    return bytes_written;
+}
+
+
 
 
 /* This is a straight address conversion + copy,