X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=d897fa0166637464ad60250e73033ee9a51091c6;hb=87bd3921fe6a17138bdba3a41b501a8d620cb48a;hp=b95edd4c482c994b9ecdbc6ec3c418c108ef0c6b;hpb=671625bf466a571d4db5c452004197a0488cee65;p=palacios.git

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index b95edd4..d897fa0 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -130,8 +130,6 @@ static int handle_mov_to_cr0(struct guest_info * info, struct x86_instr * dec_in
 	
 	shadow_efer->lma = 1;
 	shadow_efer->lme = 1;
-	
-	v3_print_segments(info);
 
 	PrintDebug("New EFER %p\n", (void *)*(addr_t *)(shadow_efer));
       }
@@ -515,7 +513,6 @@ int v3_handle_efer_write(uint_t msr, struct v3_msr src, void * priv_data) {
   guest_efer->value = src.value;
 
 	
-  v3_print_segments(info);
   // We have to handle long mode writes....
 
   /*