Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


removed debugging
Jack Lange [Mon, 23 Jun 2008 23:12:38 +0000 (23:12 +0000)]
palacios/src/geekos/lowlevel.asm
palacios/src/palacios/svm.c

index 1e2f409..30979de 100644 (file)
@@ -2,7 +2,7 @@
 ; Low level interrupt/thread handling code for GeekOS.
 ; Copyright (c) 2001,2003,2004 David H. Hovemeyer <daveho@cs.umd.edu>
 ; Copyright (c) 2003, Jeffrey K. Hollingsworth <hollings@cs.umd.edu>
-; $Revision: 1.7 $
+; $Revision: 1.8 $
 
 ; This is free software.  You are permitted to use,
 ; redistribute, and modify it as specified in the file "COPYING".
@@ -425,16 +425,16 @@ Handle_Interrupt:
        mov     esi, [esp+REG_SKIP]     ; get interrupt number
        mov     ebx, [eax+esi*4]        ; get address of handler function
 
-       push    esi
-       call    SerialPrintHex
-       pop     esi
+;      push    esi
+;      call    SerialPrintHex
+;      pop     esi
 
-       push    eax
-       mov     eax, 0xa
-       push    eax
-       call    SerialPutChar
-       pop     eax
-       pop     eax
+;      push    eax
+;      mov     eax, 0xa
+;      push    eax
+;      call    SerialPutChar
+;      pop     eax
+;      pop     eax
 
        ; Call the handler.
        ; The argument passed is a pointer to an Interrupt_State struct,
@@ -516,19 +516,19 @@ Handle_Interrupt:
        Restore_Registers
 
 
-       pusha   
+;      pusha   
 
-       mov     eax, 0xaa
-       push    eax
-       call    SerialPrintHex
-       pop     eax
+;      mov     eax, 0xaa
+;      push    eax
+;      call    SerialPrintHex
+;      pop     eax
 
-       mov     eax, 0xa
-       push    eax
-       call    SerialPutChar
-       pop     eax
+;      mov     eax, 0xa
+;      push    eax
+;      call    SerialPutChar
+;      pop     eax
 
-       popa
+;      popa
 
        ; Return from the interrupt.
        iret
index b4209ef..7a81e7e 100644 (file)
@@ -250,7 +250,7 @@ static int start_svm_guest(struct guest_info *info) {
 
     CLGI();
 
-    PrintDebug("SVM Entry...\n");
+    //  PrintDebug("SVM Entry...\n");
 
     rdtscll(info->time_state.cached_host_tsc);
     guest_ctrl->TSC_OFFSET = info->time_state.guest_tsc - info->time_state.cached_host_tsc;
@@ -258,7 +258,7 @@ static int start_svm_guest(struct guest_info *info) {
     safe_svm_launch((vmcb_t*)(info->vmm_data), &(info->vm_regs));
 
     rdtscll(tmp_tsc);
-    PrintDebug("SVM Returned\n");
+    //PrintDebug("SVM Returned\n");
 
 
     v3_update_time(info, tmp_tsc - info->time_state.cached_host_tsc);