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(); }
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"); }