palacios/src/geekos/vmm.c

   1 #include <geekos/vmm.h>
   2 #include <geekos/svm.h>
   3 #include <geekos/vmx.h>
   4
   5 uint_t vmm_cpu_type;
   6
   7
   8
   9 void Init_VMM() {
  10   vmm_cpu_type = VMM_INVALID_CPU;
  11
  12   if (is_svm_capable()) {
  13     vmm_cpu_type = VMM_SVM_CPU;
  14     Print("Machine is SVM Capable\n");
  15     Init_SVM();
  16   } else if (is_vmx_capable()) {
  17     vmm_cpu_type = VMM_VMX_CPU;
  18     Print("Machine is VMX Capable\n");
  19     Init_VMX();
  20   } else {
  21     PrintBoth("CPU has no virtualization Extensions\n");
  22   }
  23 }