palacios/src/palacios/vmm.c

   1 #include <palacios/vmm.h>
   2 #include <palacios/svm.h>
   3 #include <palacios/vmx.h>
   4 #include <palacios/vmm_intr.h>
   5
   6 uint_t vmm_cpu_type;
   7
   8
   9
  10
  11 struct vmm_os_hooks * os_hooks = NULL;
  12
  13
  14
  15
  16 void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops) {
  17   vmm_cpu_type = VMM_INVALID_CPU;
  18
  19   os_hooks = hooks;
  20
  21
  22   if (is_svm_capable()) {
  23     vmm_cpu_type = VMM_SVM_CPU;
  24     PrintDebug("Machine is SVM Capable\n");
  25
  26     Init_SVM(vmm_ops);
  27
  28     /*
  29   } else if (is_vmx_capable()) {
  30     vmm_cpu_type = VMM_VMX_CPU;
  31     PrintDebug("Machine is VMX Capable\n");
  32     //Init_VMX();*/
  33   } else {
  34     PrintDebug("CPU has no virtualization Extensions\n");
  35   }
  36 }