X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvm_guest.c;h=ef025faa838467c9a2f6628959bd77df06924422;hp=5b7c39f3580b9e21ce0e5ef056ad3648b40dbff0;hb=0c51b09942d51a3b355728526333ad3f3895131d;hpb=9dc62167c8f74a37391028c558f46db50a7998d1

diff --git a/palacios/src/palacios/vm_guest.c b/palacios/src/palacios/vm_guest.c
index 5b7c39f..ef025fa 100644
--- a/palacios/src/palacios/vm_guest.c
+++ b/palacios/src/palacios/vm_guest.c
@@ -23,6 +23,7 @@
 #include <palacios/vm_guest.h>
 #include <palacios/vmm_ctrl_regs.h>
 #include <palacios/vmm.h>
+#include <palacios/vmcb.h>
 
 
 v3_vm_cpu_mode_t v3_get_cpu_mode(struct guest_info * info) {
@@ -102,6 +103,7 @@ void v3_print_ctrl_regs(struct guest_info * info) {
   int i = 0;
   v3_reg_t * reg_ptr;
   char * reg_names[] = {"CR0", "CR2", "CR3", "CR4", "CR8", "FLAGS", NULL};
+  vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA(info->vmm_data);
 
   reg_ptr= (v3_reg_t *)regs;
 
@@ -110,6 +112,9 @@ void v3_print_ctrl_regs(struct guest_info * info) {
   for (i = 0; reg_names[i] != NULL; i++) {
     PrintDebug("\t%s=0x%p\n", reg_names[i], (void *)reg_ptr[i]);  
   }
+
+  PrintDebug("\tEFER=0x%p\n", (void*)(guest_state->efer));
+
 }