X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=39303aa18a1beada4eeeea2580985fe5504bae8b;hb=7246e098eaeb10934569dd4c6ef12753a1637351;hp=4575f9951f51c95e97dddabac944cfcf5cf98baa;hpb=d25cf4863326ae17565bfbe23879438bc352f069;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 4575f99..39303aa 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -20,9 +20,6 @@
 #endif
 
 
-
-
-
 // First Attempt = 494 lines
 // current = 106 lines
 int handle_cr0_write(struct guest_info * info) {
@@ -202,7 +199,7 @@ int handle_cr0_read(struct guest_info * info) {
 
 
 
-// First Attemp = 256 lines
+// First Attempt = 256 lines
 // current = 65 lines
 int handle_cr3_write(struct guest_info * info) {
   int ret;
@@ -246,14 +243,12 @@ int handle_cr3_write(struct guest_info * info) {
       
 
       cached = cache_page_tables32(info, CR3_TO_PDE32(*(addr_t *)new_cr3));
+
       if (cached == -1) {
 	PrintError("CR3 Cache failed\n");
 	return -1;
       } else if (cached == 0) {
-
-
 	addr_t shadow_pt;
-
 	
 	PrintDebug("New CR3 is different - flushing shadow page table\n");	
 	
@@ -334,12 +329,7 @@ int handle_cr3_read(struct guest_info * info) {
     return -1;
   }
 
-
   info->rip += dec_instr.instr_length;
 
   return 0;
 }
-
-
-
-