Beispiel #1
0
static void vmx_vmexit_show_cap_fix()
{
   vmx_show_basic_info();
   vmx_show_misc_data();
   vmx_show_fixed_pin_ctls();
   vmx_show_pin_ctls();
   vmx_show_fixed_proc_ctls();
   vmx_show_proc_ctls();
   vmx_show_fixed_proc2_ctls();
   vmx_show_proc2_ctls();
   vmx_show_fixed_entry_ctls();
   vmx_show_entry_ctls();
   vmx_show_fixed_exit_ctls();
   vmx_show_exit_ctls();
   vmx_show_ept_cap();
}
Beispiel #2
0
static void vmx_cpu_ept_feat()
{
   rd_msr_vmx_ept_cap(info->vm.vmx_ept_cap);

#ifdef CONFIG_VMX_CPU_DBG
   vmx_show_ept_cap();
#endif

   if(!info->vm.vmx_ept_cap.wb)
      panic("vmx ept mem type only UC");

   if(!info->vm.vmx_ept_cap.pwl4)
      panic("unsupported page walk length");

#ifdef CONFIG_VMX_FEAT_VPID
   if(!info->vm.vmx_ept_cap.invvpid)
      panic("vmx missing invvpid\n");
#endif

   if(!info->vm.vmx_ept_cap.invept)
      panic("vmx missing invept\n");
}