void vmx_vmexit_show() { vmx_vmcs_collect(); if(vmx_vmexit_show_exit()) vmx_vmexit_show_detail(); show_vmm_mem_map(); vmx_vmexit_show_cap_fix(); }
void vmx_vmexit_show() { vmx_vmcs_collect(); if(vmx_vmexit_show_exit()) vmx_vmexit_show_detail(); printf("\n <----------------- VMX Features ---------------->\n"); show_vmm_mem_map(); vmx_vmexit_show_cap_fix(); }