X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_handler.c;h=2cfe74eed4246a60b1385f517eb1b0e26cb83366;hb=85dbf9793951dfd1cc387b5b54284983ab984c1b;hp=cc9a8abd7a8fb670e0cb751c33581c22360ea6af;hpb=545a98b6d16bcda8ed4ac495924e0966fef7d431;p=palacios-OLD.git

diff --git a/palacios/src/palacios/svm_handler.c b/palacios/src/palacios/svm_handler.c
index cc9a8ab..2cfe74e 100644
--- a/palacios/src/palacios/svm_handler.c
+++ b/palacios/src/palacios/svm_handler.c
@@ -373,9 +373,9 @@ int v3_handle_svm_exit(struct guest_info * info) {
     PrintError("Reading instruction stream in guest\n", rip_addr);
     
     if (info->mem_mode == PHYSICAL_MEM) {
-      read_guest_pa_memory(info, rip_addr-16, 32, buf);
+      read_guest_pa_memory(info, rip_addr - 16, 32, buf);
     } else {
-      read_guest_va_memory(info, rip_addr-16, 32, buf);
+      read_guest_va_memory(info, rip_addr - 16, 32, buf);
     }
     
     PrintDebug("16 bytes before Rip\n");