if (v3_is_svm_capable()) {
PrintDebug("Machine is SVM Capable\n");
v3_init_SVM(vmm_ops);
+#ifdef CONFIG_VMX
} else if (v3_is_vmx_capable()) {
PrintDebug("Machine is VMX Capable\n");
v3_init_vmx(vmm_ops);
+#endif
} else {
PrintDebug("CPU has no virtualization Extensions\n");
}
if (cur_cycle > (info->yield_start_cycle + info->yield_cycle_period)) {
- PrintDebug("Conditional Yield (cur_cyle=%p, start_cycle=%p, period=%p)\n",
- (void *)cur_cycle, (void *)info->yield_start_cycle, (void *)info->yield_cycle_period);
-
+ /*
+ PrintDebug("Conditional Yield (cur_cyle=%p, start_cycle=%p, period=%p)\n",
+ (void *)cur_cycle, (void *)info->yield_start_cycle, (void *)info->yield_cycle_period);
+ */
V3_Yield();
rdtscll(info->yield_start_cycle);
}