*** empty log message ***

[palacios.git] / palacios / src / geekos / vmx.c

diff --git a/palacios/src/geekos/vmx.c b/palacios/src/geekos/vmx.c
index 4ce96e0..eb6c718 100644 (file)
--- a/palacios/src/geekos/vmx.c
+++ b/palacios/src/geekos/vmx.c
@@ -540,6 +540,8 @@ int Do_VMM(struct VMXRegs regs)
   vmcs_ptr_low +=  vmcs_ptr;
 
 
+
+
   SerialPrintLevel(100,"ret=%d\n", ret);
   SerialPrintLevel(100,"Revision: %x\n", *(uint_t *)(vmcs_ptr_low));
   vmx_abort = *(uint_t*)(((char *)vmcs_ptr_low)+4);
@@ -558,6 +560,9 @@ int Do_VMM(struct VMXRegs regs)
     return -1;
   }
 
+
+  SerialPrint("Guest esp: 0x%x (%u)\n", vm->vmcs.guestStateArea.rsp, vm->vmcs.guestStateArea.rsp);
+
   SerialPrintLevel(100,"VM Exit for reason: %d (%x)\n", 
              vm->vmcs.exitInfoFields.reason & 0x00000fff,
              vm->vmcs.exitInfoFields.reason);  
@@ -758,6 +763,8 @@ int MyLaunch(struct VM *vm)
   int ret;
   int vmm_ret = 0;
 
+  SerialPrint("Guest ESP: 0x%x (%u)\n", guest_esp, guest_esp);
+
   exit_eip=(uint_t)RunVMM;
 
   SerialPrintLevel(100,"Clear\n");
@@ -890,5 +897,3 @@ VMCS * CreateVMCS() {
 
   return vmcs;
 }
-
-