X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_ctrl_regs.c;h=fba6004dd07dd651983eeb16c5ccf749d32e4cee;hp=8f7f6fc034f7730e74654b751832b5871fc79ddb;hb=b527f44a71d32952d7b129a7ce5dbeb3969fb8d2;hpb=68cac210354f03675feb5370dfa7fae1fb97ceee

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 8f7f6fc..fba6004 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -106,7 +106,8 @@ int handle_cr0_write(struct guest_info * info) {
     } else if ((instr[index] == cr_access_byte) && 
 	       (instr[index + 1] == clts_byte)) {
       // CLTS
-
+      PrintDebug("CLTS unhandled\n");
+      return -1;
 
     } else if ((instr[index] == cr_access_byte) && 
 	       (instr[index + 1] = mov_to_cr_byte)) {
@@ -449,6 +450,8 @@ int handle_cr3_write(struct guest_info * info) {
 	struct cr3_32 * shadow_cr3 = (struct cr3_32 *)&(info->shdw_pg_state.shadow_cr3);
 	struct cr3_32 * guest_cr3 = (struct cr3_32 *)&(info->shdw_pg_state.guest_cr3);
 
+	/* Delete the current Page Tables */
+	delete_page_tables_pde32((pde32_t *)CR3_TO_PDE32(shadow_cr3));
 
 	*guest_cr3 = *new_cr3;
 
@@ -456,6 +459,7 @@ int handle_cr3_write(struct guest_info * info) {
 	shadow_pt =  create_new_shadow_pt32(info);
 	//shadow_pt = setup_shadow_pt32(info, CR3_TO_PDE32(*(addr_t *)new_cr3));
 
+
 	/* Copy Various flags */
 	*shadow_cr3 = *new_cr3;