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=4dba7372f4d6c8584ef318bfa20a9b97917e676e;hp=58d0465be264a8546130acd5e9f938c9edbdb75a;hb=b07ca7a7edd31d34a8dc613e3d208bbeedd44661;hpb=858a36782662b04562c0d83db75e11cb55e8b91b

diff --git a/palacios/src/palacios/vmm_ctrl_regs.c b/palacios/src/palacios/vmm_ctrl_regs.c
index 58d0465..4dba737 100644
--- a/palacios/src/palacios/vmm_ctrl_regs.c
+++ b/palacios/src/palacios/vmm_ctrl_regs.c
@@ -579,7 +579,7 @@ int handle_cr3_write(struct guest_info * info) {
 	delete_page_tables_pde32((pde32_t *)CR3_TO_PDE32(*(uint_t*)shadow_cr3));
 
 	PrintDebug("Old Shadow CR3=%x; Old Guest CR3=%x\n", 
-		   info->shdw_pg_state.shadow_cr3, info->shdw_pg_state.guest_cr3);
+		   *(uint_t*)shadow_cr3, *(uint_t*)guest_cr3);
 
 
 	*guest_cr3 = *new_cr3;
@@ -598,7 +598,8 @@ int handle_cr3_write(struct guest_info * info) {
 	shadow_cr3->pdt_base_addr = PD32_BASE_ADDR(shadow_pt);
 
 	PrintDebug("New Shadow CR3=%x; New Guest CR3=%x\n", 
-		   info->shdw_pg_state.shadow_cr3, info->shdw_pg_state.guest_cr3);
+		   *(uint_t*)shadow_cr3, *(uint_t*)guest_cr3);
+
 
 
 	if (info->mem_mode == VIRTUAL_MEM) {