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.


added ability to inject an env variable into guest user process
[palacios.git] / palacios / src / palacios / svm_handler.c
index 62fe695..8822116 100644 (file)
@@ -194,26 +194,15 @@ int v3_handle_svm_exit(struct guest_info * info, addr_t exit_code, addr_t exit_i
                    }
            break;
            }
-#ifdef CONFIG_SYSCALL_HIJACK
-    case VMEXIT_IDTR_WRITE: // KCH: syscall interposition
-#ifdef CONFIG_DEBUG_SYSCALL_HIJACK
-        PrintDebug("IDTR Write\n");
-#endif
-        if (v3_handle_idtr_write(info) == -1) {
-            PrintError("Error handling IDTR write\n");
-            return -1;
-        }
-        break;
     case VMEXIT_SWINT:
-#ifdef CONFIG_DEBUG_SYSCALL_HIJACK
-        PrintDebug("Intercepting SW Interrupt\n");
+#ifdef CONFIG_DEBUG_INTERRUPTS
+        PrintDebug("Intercepted SW Interrupt\n");
 #endif
-        if (v3_handle_swint(info) == -1) {
+        if (v3_handle_swintr(info) == -1) {
             PrintError("Error handling software interrupt\n");
             return -1;
         }
         break;
-#endif
        case VMEXIT_INVLPG: 
            if (info->shdw_pg_mode == SHADOW_PAGING) {
 #ifdef CONFIG_DEBUG_SHADOW_PAGING