*/
#include <palacios/vmm.h>
-#include <palacios/svm.h>
-#include <palacios/vmx.h>
#include <palacios/vmm_intr.h>
#include <palacios/vmm_config.h>
#include <palacios/vm_guest.h>
#include <palacios/vmm_ctrl_regs.h>
#include <palacios/vmm_lowlevel.h>
-
+#ifdef CONFIG_SVM
+#include <palacios/svm.h>
+#endif
+#ifdef CONFIG_VMX
+#include <palacios/vmx.h>
+#endif
v3_cpu_arch_t v3_cpu_type;
} else
#endif
{
- PrintDebug("CPU has no virtualization Extensions\n");
+ PrintError("CPU has no virtualization Extensions\n");
}
}
V3_Yield();
rdtscll(info->yield_start_cycle);
}
+
+
+
+void v3_interrupt_cpu(struct guest_info * info, int logical_cpu) {
+ extern struct v3_os_hooks * os_hooks;
+
+ if ((os_hooks) && (os_hooks)->interrupt_cpu) {
+ (os_hooks)->interrupt_cpu(info, logical_cpu);
+ }
+}