}
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