X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_msr.c;h=de68a86d1df4ea0d86e3eb644db2526ce68e256e;hp=8b70dd270ee62ee6e8b2ca7c727a28c5241bdf63;hb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597;hpb=1cd2958b5eb63b2ac63ced17447ba3b45c43f51a

diff --git a/palacios/src/palacios/vmm_msr.c b/palacios/src/palacios/vmm_msr.c
index 8b70dd2..de68a86 100644
--- a/palacios/src/palacios/vmm_msr.c
+++ b/palacios/src/palacios/vmm_msr.c
@@ -38,6 +38,8 @@ int v3_handle_msr_write(struct guest_info * info) {
     struct v3_msr msr_val;
     struct v3_msr_hook * hook = NULL;
 
+    PrintDebug("MSR write for msr 0x%x\n", msr_num);
+
     hook = v3_get_msr_hook(info, msr_num);
 
     if (!hook) {
@@ -151,6 +153,7 @@ void v3_refresh_msr_map(struct guest_info * info) {
     }
 
     list_for_each_entry(hook, &(msr_map->hook_list), link) {
+	PrintDebug("updating MSR map for msr %d\n", hook->msr);
 	msr_map->update_map(info, hook->msr, 	
 			    (hook->read == NULL) ? 0 : 1,
 			    (hook->write == NULL) ? 0 : 1);
@@ -162,7 +165,7 @@ void v3_print_msr_map(struct guest_info * info) {
     struct v3_msr_hook * hook = NULL;
 
     list_for_each_entry(hook, &(msr_map->hook_list), link) {
-	PrintDebug("MSR HOOK (MSR=%d) (read=0x%p) (write=0x%p)\n",
+	V3_Print("MSR HOOK (MSR=0x%x) (read=0x%p) (write=0x%p)\n",
 		   hook->msr, hook->read, hook->write);
     }
 }